An isomorphism is a [homomorphism](Homomorphism.md) that is _invertible_, i.e. that is [one-to-one](one-to-one) and [onto](onto). #MathematicalFoundations/Algebra/AbstractAlgebra