Assertion: order | /r/HasProperty | isomorphism
Facets:
value: in this category
type: OTHER
Source sentences:
text: A bijective map between two totally ordered sets that respects the two orders is an isomorphism in this category.