Assertion: real number | /r/HasProperty | compatible
Facets:
value: with the ordering
type: OTHER
Source sentences:
text: This implies that the identity is the unique field automorphism of the reals that is compatible with the ordering.