Subgrup itu apa sih?

Di teori grup, cabang matematika, diberi grup G di bawah operasi biner ∗, himpunan bagian H dari G disebut subgrup dari G jika H juga membentuk grup di bawah operasi ∗. Lebih tepatnya, H adalah subgrup dari G jika restriksi dari ∗ ke  adalah operasi grup di H. Ini biasanya dilambangkan , dibaca sebagai "H adalah subgrup dari G".