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