Tolong jelaskan mengenai Logika dan aljabar universal dari Identitas (matematika)

Dalam logika matematika dan dalam aljabar universal, identitas didefinisikan sebagai  rumus dari bentuk "∀x1,...,xn. s = t", di mana  s  dan  t  adalah  istilah tanpa variabel bebas selain x1,...,xn.

The quantifier prefix ("∀x1,...,xn.") sering dibiarkan implisit, khususnya dalam aljabar universal.

Misalnya, aksioma dari monoid sering diberikan sebagai identitas  himpunan