Matematiğin bir dalıdır, tüm 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). Operasyonların toplamına "imza" (en. "signature") adı verilir Σ = { + , * }. 0,1 gibi...

[İng. universal set; universe ] [Alm. universale Menge ] [Fra. ensemble universel ] : Özel bir sorunda veya tartışıda ele alınan tüm öğelerin kümesi.

[İng. universal quantifier ] [Alm. Allquantor; universaler Quantor ] [Fra. quantificateur universel ] : P(x) önermesinden, yalnızca bu açık önermenin özellemelerinin tümü doğru olduğunda doğru olan önermeyi oluşturan değişken bağlayıcısı. Simgesi : ∀x [P (x)].