algebra on süsteem A = < M,S >, kus M on algebra alushulk (objektide hulk) ja S on algebra signatuur (operatsioonide hulk). Näiteks < 2 A , ,∪∩ ) on algebra, mille alushulgaks on hulga A astmehulk ning signatuuriks , tuntud hulgateoreetilised tehted (täiend, ühend ja ühisosa). Vastavalt tehetes osalevate operandide arvule määratakse signatuuri tüüp, mis on antud näites määratud vektoriga (1,2,2).