Universaalalgebra

Disambig gray.svg  See artikkel on hulkadest, millel on defineeritud tehted; universaalalgebraks nimetatakse ka neid uurivat algebra haru universaalalgebrate teooriat

Universaalalgebra ehk algebraline struktuur ehk algebra on hulk koos algebraliste tehete kogumiga sellel hulgal.

Mitteformaalne definitsioon

n-aarne (algebraline) tehe hulgal A on funktsioon, mis võtab n elementi hulgast A ja annab ühe elemendi hulgast A. 0-aarne tehe ehk nullaarne tehe on lihtsalt hulga A element ehk konstant, mida sageli tähistatakse tähega (näiteks a). 1-aarne tehe ehk unaarne tehe on lihtsalt funktsioon hulgast A hulka A, mida sageli tähistab sümbol argumendi ees, näiteks ~x. 2-aarset tehet ehk binaarset tehet tähistatakse sageli sümboliga argumentide vahel (näiteks x * y). Suurema või täpsustamata aarsusega tehet tähistatakse tavaliselt funktsioonisümbolitega ning argumendid pannakse sulgudesse ja eraldatakse komadega, näiteks f(x,y,z) või f(x1,...,xn). Kasutatakse ka universaalset tähistusviisi, mille korral tehte sümbol järgneb argumentide sümbolitele ja argumendid kirjutatakse järjest, ilma tühikute ja eraldavate märkideta.