Transfer condition operator preserves intersection-closedness
Statement
Suppose is the Transfer condition operator (?). Then:
- If is a Finite-intersection-closed subgroup property (?), so is .
- If is an Intersection-closed subgroup property (?), so is .