Assertion: set | /r/CapableOf | respect the order
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.