Finite-intersection-closedness is left residual-preserved

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

Similar facts about being left residual-preserved
Some similar results about being left residual-preserved:


 * Finite-join-closedness is left residual-preserved
 * Join-closedness is left residual-preserved
 * Intersection-closedness is left residual-preserved
 * Normalizing join-closedness is left residual-preserved
 * Conjugate-join-closedness is left residual-preserved
 * Finite-conjugate-join-closedness is left residual-preserved

Similar facts about being right residual-preserved
Some related examples of right residual-preserved subgroup metaproperties:


 * Upper join-closedness is right residual-preserved
 * Intermediate subgroup condition is right residual-preserved