Intersection-closedness is left residual-preserved

This article gives the statement, and possibly proof, of a subgroup metaproperty (i.e., Intersection-closed subgroup property (?)) satisfying a subgroup metametaproperty (i.e., Left residual-preserved subgroup metaproperty (?))
View all subgroup metametaproperty satisfactions $|$ View all subgroup metametaproperty dissatisfactions

Statement

Property-theoretic statement

The Left residual operator for composition (?) of an intersection-closed subgroup property by any subgroup property is again intersection-closed.