Assertion: isomorphism's inverse | /r/HasProperty | a monotone
Facets:
Source sentences:
text: a bijection always has an inverse (being surjective and injective); and that inverse is also a monotone, because it will always map right back to the original ordering (being bijective)