additiveGroupOrder
P160268
predicate
Indicates the relationship that specifies the order (number of elements) of an additive group.