Assertion: set's element | /r/HasProperty | mapped to smaller elements
Facets:
Source sentences:
text: Define two well-ordered sets to have the same order type by: there exists a bijection between the two sets respecting the order: smaller elements are mapped to smaller elements.