information:classification, quality:correction, structural:expansion, structural:scholar_edition
Isomorphism

T is said to be an isomorphism if it is both left- and right-invertible. This is equivalent to T being both one-to-one and onto (a bijection of sets) or also to T being both epic and monic, and so being a bimorphism.

If T: V → V is an endomorphism, then: