hasLatticeSubgroups
P178005
predicate
Indicates that one mathematical structure contains subgroups that form a lattice under inclusion or related order operations.