Assertion: table's element | /r/HasProperty | followed by pairs of inverses
Facets:
Source sentences:
text: Because the order of the rows and columns of a Cayley table is in fact arbitrary, it is convenient to order them in the following manner: beginning with the group's identity element, which is always its own inverse, list first all the elements that are their own inverse, followed by pairs of inverses listed adjacent to each other.