Intersection-closedness is left residual-preserved

Property-theoretic statement
The fact about::left residual operator for composition of an intersection-closed subgroup property by any subgroup property is again intersection-closed.