Isomorfismo é uma relação de equivalência
A composta de isomorfismos é isomorfismo, e \(\iso\) é uma relação de equivalência.
Demonstração
A composta de lineares é linear (Proposição 1.49) e a de bijeções é bijeção. A reflexividade é a identidade; a simetria é a Proposição 1.67; a transitividade é a composta.
prop-equiv