1. Eşit güçlü kümeler
2. Sonlu ve sonsuz kümeler
3. Doğal sayılar kümesi
4. Sayılabilir kümeler
5. Doğal sayılar kümesinde toplama
6. Doğal sayılar kümesinde çarpma
7. Doğal sayılar kümesinde sıralama
8. Doğal sayılar kümesinde çıkarma
9. Doğal sayılar kümesinde bölme
10. Alıştırmalar
1. Eşit güçlü kümeler
1.Tanım: A, B iki küme, bir fonksiyon olsun. f fonksiyonu birebir ve
örten ise bu fonksiyona birebir eşleme denir. A dan B ye en az bir birebir
eşleme varsa A ve B kümelerine eşit güçlü kümeler denir.
Simgesi:
1.Örnek: A={a,b,c} ve B={x,y,z}
1.Teorem: Herhangi bir kümeler ailesinde tanımlanan eşit güçlü olma bağıntısı
bir denklik bağıntısıdır.
İspat: kümeler ailesinde {( )| bir bağıntı olsun

Kaynak: matematik.gumushane(.edu.tr)