isTransitiveGroupOn

Indicates that a group acts transitively on a set, meaning any element of the set can be mapped to any other by some element of the group.