Conjugate-join-closedness is left residual-preserved

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