Assertion: isomorphism's inverse | /r/HasProperty | the converse of ≤.
Facets:
Source sentences:
text: The inverse (or converse) of a partial order relation ≤ is the converse of ≤. Typically denoted ≥, it is the relation that satisfies x ≥ y