Grup (matematika)

Suatu grup adalah suatu himpunan formula_1 beserta satu operasi biner formula_2 yang memenuhi "aksioma-aksioma grup" berikut: