Suatu himpunan misalnya (himpunan G) dengan suatu operasi (misalnya operasi bintang (*) yang didefinisikan pada himpunan G) adalah Grup (atau dengan kata lain (G,*) membentuk grup) jika memenuhi empat sifat berikut ini.
1) Tertutup
2) Asosiatif
3) Identitas
4) Invers
Membuktikan Sifat Tertutup dari Suatu Himpunan terhadap Operasinya
Untuk membuktikan sifat tertutup, harus dapat ditunjukkan bahwa semua anggota dalam himpunan G jika dioperasikan satu sama lainnya dengan operasi * maka menghasilkan anggota di himpunan G juga. Artinya bahwa, jika dua anggota sebarang dalam G dioperasikan dengan operasi * maka hasil operasinya juga merupakan anggota di G. Hal ini sulit dilakukan apabila banyaknya anggota di G tidak berhingga. Sehingga, apabila jumlah anggota di himpunan G tak berhingga maka cara membuktikan sifat tertutup adalah sebagai berikut.
Pertama-tama, ambil sebarang dua anggota dalam himpunan G (misalnya a dan b). Selanjutnya, operasikan dengan operasi * yakni a*b. Kita jalankan sampai kita mendapatkan hasil misalnya c sehingga c memenuhi syarat keanggotaan himpunan G, karena itu kita simpulkan bahwa a*b=c merupakan anggota G. Dengan demikian, (G,*) bersifat tertutup
Untuk lebih jelasnya, perhatikan contoh-contoh berikut ini!
Misal Z himpunan bilangan bulat dan + adalah operasi + biasa, kita tahu bahwa sebarang a dan b bilangan bulat jika dijumlahkan yakni a+b pasti menghasilkan bilangan bulat juga sehingga kita katakan himpunan bilangan bulat dengan operasi + ditulis (Z,+) memenuhi sifat tertutup. Begitu juga untuk operasi x biasa.
Himpunan bilangan real terhadap operasi + atau x juga memenuhi sifat tertutup karena sebarang dua bilangan real ditambahkan atau dikalikan pasti bilangan real juga.
Pertanyaannya, apakah Q himpunan bilangan rasional, juga tertutup pada operasi + dan x? Sekarang mari kita lihat bagaimana caranya menunjukan sifat tertutup. Kita tahu bahwa bilangan rasional adalah bilangan yang dapat dinyatakan dalam bentuk a/b diamana a, b adalah bilangan bulat dan b#0. Jadi, himpunan bilangan rasional kita tuliskan dengan Q={a/b : b#0, a, b $ \in Z $}. Untuk membuktikan (Q,+) dan (Q,x) memenuhi sifat ketertutupan adalah:
"Ambil sebarang x, y anggota Q akan ditunjukan bahwa x+y dan x.y $\in Q$. Karena x dan y bilangan rasional maka masing-masing dapat dinyatakan dalam bentuk p/q dan r/s dimana p, q, r, s bilangan bulat dan q dan s tak nol. Perhatikan bahwa hasil dari p/q + r/s dan p/q x r/s juga merupakan bilangan rasional jadi kita simpulkan (Q,+) dan (Q, x) bersifat tertutup."
p/q + r/s=(ps+rq)/rs
p/q + r/s= pr/qs
Perhatikan bahwa ps+rq adalah bilangan bulat (berdasarkan contoh sebelumnya) dan rs tidak sama dengan 0 sehingga (ps+rq)/rs merupakan bilangan rasional. Begitu juga untuk pq/rs merupakan bilangan rasional.
Bagaimana sudah mengerti? Intinya, kita harus menunjukan bahwa untuk sebarang a, b anggota di G maka a*b juga anggota di G. Ingat bahwa operasi * merupakan operasi biner tertentu (operasi biner yaitu operasi yang memerukan dua buah unsur dalam suatu himpunan) yang didefinisikan untuk himpunan G, bisa operasi +, x, dll. Jadi, bisa yang lain dong? Iya, misal: a*b=a+b-2ab, sehingga untuk a=3 dan b=4 maka 3*4=3+4-2(3)(4)=7-24=-17.
Untuk pembaca: apakah operasi * yang didefinisikan oleh a*b=a+b-2ab tertutup pada himpunan bilangan bulat, himpunan bilangan rasional, dan himpunan bilangan real?
