Transfer condition operator preserves transitivity

Statement
Suppose $$p$$ is a fact about::transitive subgroup property. If $$T$$ denotes the fact about::transfer condition operator, the property $$T(p)$$ is also a transitive subgroup property.

Related facts

 * Subhomomorphism relation between transfer condition operator and composition operator
 * Transfer condition is composition-closed