Группа
(математика) непустое множество с определённой на нём бинарной операцией, удовлетворяющей указанным ниже аксиомам
бинарной операцией ниже аксиомам
высшего уровня