Assertion: order isomorphism | /r/HasProperty | an equivalence relation
Facets:
Source sentences:
text: Therefore, order isomorphism is an equivalence relation.