Si existe un isomorfismo entre formula_1 y formula_2, entonces formula_1 y formula_2 se llaman "isomorfos" y la biyección formula_5 se conoce como "isomorfismo" entre formula_1 y formula_2.