Універсальна алгебра

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

Увага, тільки СЬОГОДНІ!