Assertion: isomorphism's inverse | /r/HasProperty | transitive
Facets:
Source sentences:
text: The inverse of a partial order relation is reflexive, transitive, and antisymmetric, and hence itself a partial order relation.