Assertion: isometry | /r/CapableOf | satisfy axiom
Facets:
value: for a semigroup
type: OTHER
Source sentences:
text: The identity isometry is also an identity for composition, and composition is associative; therefore isometries satisfy the axioms for a semigroup.