Defenisi A-1
Suatu subset H tidak kosong dari G disebut subgrup dari grup G
jika terhadap operasi di G, H sendiri membentuk grup. Dari
defenisi tersebut, pertama harus ditunjukkan bahwa H tidak
kosong, H subset dari G, dan berikutnya setiap elemen dari H
terhadap operasi di G memenuhi aksioma grup.