Универсальная алгебра ( универсальная алгебра заданной сигнатуры ) - это множество, что называется носителем алгебры, с набором n- арних алгебраических операций, называются сигнатурой алгебры. При этом считается что для n-арних операций не заданы никакие аксиомы, которые они должны удовлетворять. Рассматриваются только общие свойства, которые обусловлены сигнатурой.
Если же для операций некоторой универсальной алгебре задано аксиомы, которые должны удовлетворять ее операции, то «универсальность» теряется и она превращается валгебраическую структуру.
Универсальная алгебра с одной алгебраической операцией называется магмой (или групоидом).