Dalam matematika, grup adalah suatu himpunan, beserta satu operasi biner, seperti perkalian atau penjumlahan, yang memenuhi beberapa aksioma yang disebut aksioma grup.
역원이 존재하고, 결합법칙이 성립하는 연산을 가진 대수 구조