Assertion: order isomorphism | /r/HasProperty | surjective order-embedding
Facets:
Source sentences:
text: It is also possible to define an order isomorphism to be a surjective order-embedding.