Внутрішньою бінарною операцією на безлічі E називається відображення .
Хай задано дві безліч E і F.
Зовнішньою бінарною операцією на безлічі E називається відображення .
Безліч E, що володіє внутрішньою бінарною операцією, називається групою, якщо...