Un σ-homomorfismo es una aplicación que conmuta con las operaciones y preserva relaciones de σ.