hasLargestElementOrder
P76336
predicate
Indicates that, among a set of elements (typically group elements), one element has an order that is greater than or equal to the order of every other element in the set.
Observed surface forms (1)
- isLargestElementIn ×2