Assertion: order isomorphism | /r/HasProperty | injective
Facets:
value: necessarily
type: MANNER
Source sentences:
text: It should also be remarked that order isomorphisms are necessarily injective.