CIP-groups

摘要

We say that a group G has the "congruence intersection property", or more shortly that the group is a CIP group, if H~G ∩ K~G = (H ∩ K)~G for all H, K ≤ G.