Assertion: isomorphism's inverse | /r/HasAspect | vertical slope
Facets:
Source sentences:
text: The inverse of this would have a vertical slope, which is not a function - but a bijection doesn't have this problem (since an inverse exists).