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