Subhomomorphism relation between transfer condition operator and intersection operator

From Groupprops

Statement

Suppose denotes the intersection operator on subgroup metaproperties and denotes the Transfer condition operator (?). Then, we have:

.

Related facts