algebra uniwersalna

algebra uniwersalna,

dział matematyki poświęcony badaniu ogólnych własności algebr, czyli obiektów postaci A = (A, F), gdzie A jest zbiorem (zw. nośnikiem algebry), a F rodziną operacji (funkcji) na zbiorze A o skończonej liczbie argumentów (struktura matematyczna).