Ialah Suatu Himpunan dapat merupakan himpunan yang

berhingga atau himpunan yang tak berhingga.

• Jadi dapat dikatakan bahwa :
• Himpunan Finit ialah suatu himpunan dikatakan berhingga jika
himpunan itu beranggotakan elemen-elemen berbeda yang banyaknya
tertentu.
• Himpunan Infinit ialah himpunan yang tidak memenuhi syarat yang
mana proses yang dilakukan untuk membilang
banyak anggota himpunan tersebut tidak akan
pernah berakhir
Definisi
A. Himpunan Kosong adalah himpunan yang mempunyai 0 elemen
B. Jika n ϵ N, himpunan S dikatakan memiliki elemen jika ada bijektif
dari himpnan 𝑁𝑛 = 1,2,3, … , 𝑛 pada S.
C. Himpunan S adalah finit jika S = ø, atau S mempunyai n elemen,
n ϵ N.
D. Himpunan S adalah Infinit jika S tidak Finit
 Teorma-teorema
1.4.2 Teorema
Jika S merupakan himpunan finit, maka banyak elemen S adalah tunggal
pada N.

1.4.3 Teorema
Himpunan bilangan asli N adalah infinit

Bukti :
Andaikan N finit, maka n ϵ N sehingga 𝑁𝑛 onto N. tetapi n + 1 ϵ Ndan
n + 1 > n, yang mengakibatkan 𝑁𝑛 tidak bijektif pada N.
Jadi pengandaian salah, seharusnya N infinit.
1.4.4 teorema
a. Jika A adalah himpunan dengan m elemen, B adalah himpunan dengan n
elemen dan A ᴖ B = ø, maka A ᴗ B mempunyai m + n elemen.
b. Jika A adalah himpunan dengan m ϵ N elemen dan C ⸦ A adalah
himpunan dengan sebuah elemen, maka A‫׀‬B adalah himpunan dengan
m – 1 elemen.
c. Jika C adalah himpunan infinit dan B adalah himpunan finit, maka C‫׀‬B
adalah himpunan infinit.
1.4.5 Teorema
Misalkan S dan T adalah himpunan dan T ⸦ S.
a. Jika S finit, maka T finit
b. Jika T infinit, maka S infinit
Bukti :
a. Jika T = ø maka menurut definisi 1.3.1 himpunan T adalah finit. Jadi
sekarang akan dibuktikan untuk T = ø dan pembuktian dilakukan
dengan menggunakan induksi matematika.
Jika S memiliki 1 elemen, maka himpunan tak kosong T ⸦ S harus
seperti S, sehingga T finit.
Misalkan T ⸦ 𝑆1 dan 𝑆1 memiliki k elemen berakibat T finit adalah
benar. Akan ditunjukksn bahwa jika S memiliki k + 1 elemen, maka
T finit.
b. Pernyataan jika T infinit maka S infinit merupakan kontraposisi dari
pernyataan jika S finit maka T finit. Jadi jika T infinit maka S infinit.
SEKIAN DAN TERIMAKASIH