Evrensel cebir
Evrensel cebir, matematiğin bir dalı olup bütün cebirsel yapılara ortak olan özellikleri inceleyen bilimin adıdır. Evrensel cebirde, bir (soyut) cebir bir birim A ve onun tanımlı olan operasyonlardan oluşur. (Operasyon sembolları sadece "fonksiyonların ismi" olarak kullanılır).