Azokat a nem üres halmazokat, amelyekben értelmezve van egy művelet, és ez a művelet asszociatív, létezik benne egységelem, és minden elemnek létezik benne inverze, csoportnak nevezzük.
Azokat a nem üres halmazokat, amelyekben értelmezve van egy művelet, és ez a művelet asszociatív, létezik benne egységelem, és minden elemnek létezik benne inverze, csoportnak nevezzük.