Coba jelasin Persamaan dari Aljabar universal dong

Setelah operasi ditentukan, sifat aljabar selanjutnya ditentukan oleh aksioma, yang dalam aljabar universal sering mengambil bentuk identitas, atau hukum persamaan.  Contohnya adalah aksioma asosiatif untuk operasi biner, yang diberikan oleh persamaan  x  ∗ ( y  ∗  z ) = ( x  ∗  y ) ∗  z .