Intermediately operator preserves quotient-transitivity

From Groupprops

Statement

Suppose is a Quotient-transitive subgroup property (?). Let denote the intermediately operator. Then, the property is also a quotient-transitive subgroup property.

Related facts

Applications