This is a very efficient way to define most classes of algebraic structures, because there is also the concept of σ-homomorphism, which correctly specializes to the usual notions of homomorphism for groups, semigroups, magmas and rings.
Τα παραπάνω είναι ένας πολύ αποδοτικός τρόπος ορισμού των περισσότερων κλάσεων των αλγεβρικών δομών, επειδή υπάρχει επίσης η έννοια του σ-ομομορφισμού, ο οποίος εξειδικεύει με σωστό τρόπο τις κλασικές έννοιες του ομομορφισμού στις ομάδες, της ημι-ομάδες, τα μάγματα και τους δακτυλίους.