Assertion: isomorphism | /r/HasAspect | inverse
Facets:
value: by definition
type: MANNER
Source sentences:
text: By definition every isomorphism has an inverse which is also an isomorphism, and since the inverse is also an endomorphism of the same object it is an automorphism.
text: Then, an isomorphism $F$ will have an inverse that is also an isomorphism.