Page 12 - modul digital struktur aljabar grup

9

berbeda dengan

Jika adalah himpunan bagian dari tetapi .

adalah himpunan bagian sebenarnya (proper subset) dari

.

Contoh 10:

* + dan * + adalah proper subset dari * +

Sedangkan digunakan untuk menyatakan bahwa

adalah himpunan bagian (subset) dari yang

memungkinkan

Teorema 1.1.

Untuk sembarang himpunan berlaku hal-hal sebagai

berikut:

a) adalah himpunan bagian dari itu sendiri ( )

b) Himpunan kosong merupakan himpunan bagian dari

( )

c) Jika dan , maka