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. Megnézem az erről a képletről szóló tananyagot Ezt a képletet még az alábbi kurzusainkban is megtalálod: Diszkrét matematika / Csoportok, gyűrűk, testek / Csoport, félcsoport Lineáris algebra / Csoportok, gyűrűk, testek / Csoport, félcsoport