Assertion: order isomorphism | /r/Synonym | an order automorphism
Facets:
Source sentences:
text: An order isomorphism from a partially ordered set to itself is called an order automorphism.