Definitie:

Un cuplu (A,Ω) unde A este o multime nevida, numita multime suport si Ω inclusa Op(A) este o multime de operatii algebrice definite pe A, numita domeniu de operatii, se numeste algebra universala. O algebra universala (A,Ω) se noteaza uneori prin A = (A,Ω).

Exemple:

Bibliografie:

  1. Concepte algebrice fundamentale in studiul limbajelor formale.