Jabarkan Persamaan dari Aljabar universal

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 .