hasConjugacyClasses
P77144
predicate
Indicates that a group is associated with specific conjugacy classes, each consisting of elements that are mutually conjugate within the group.