щоб виконувалися всі ці умови

щоб ця операція була асоціативною

щоб для кожного елемента цієї множини існував обернений елемент, який належить цій множині

щоб ця множина мала одиничний елемент

щоб не виконувалася жодна з цих умов