Sayı kümeleri karşılaştırması, matematiksel yapıların birbirini nasıl kapsadığını ve her genişlemenin hangi cebirsel kazanımları getirdiğini anlamamızı sağlar. Doğal sayılardan tam sayılara, oradan rasyonel sayılara geçiş; soyut cebirin en somut örneğini oluşturur. **Doğal Sayılar: Saymanın Temeli** Sayı kümeleri karşılaştırmasında doğal sayılar (ℕ: 0, 1, 2, 3, ...) saymanın ve sıralı listelemenin temelini oluşturur. Toplama ve çarpma işlemleri kapalıdır: iki doğal sayının toplamı ve çarpımı daima doğal sayıdır. Ancak çıkarma kapalı değildir: 3 - 5 = -2, bu doğal sayı değildir. Bu kısıt, cebirsel açıdan önemli bir eksikliktir: doğal sayılar additive bir grup oluşturmaz çünkü negatif eleman yoktur. **Tam Sayılar: Negatifi Dahil Etmek** Sayı kümeleri karşılaştırması bağlamında tam sayılar (ℤ: ..., -2, -1, 0, 1, 2, ...) bu eksiği giderir. Toplama, çıkarma ve çarpma işlemleri kapalıdır; toplama için ℤ bir grup oluşturur. Negatif tam sayıların eklenmesi, denklemlerin çözüm kümesini genişletir: x + 5 = 2 gibi bir denklemin çözümü artık vardır. Ancak bölme kapalı değildir: 3 ÷ 2 = 1.5, bu tam sayı değildir. Bu eksiklik, rasyonel sayıları zorunlu kılar. **Rasyonel Sayılar: Bölmenin Tam Çözümü** Rasyonel sayılar (ℚ: p/q biçimindeki sayılar, q ≠ 0) toplama, çıkarma, çarpma ve sıfır dışında bölme işlemlerine kapalıdır. Cebirsel açıdan ℚ, bir cisim (field) oluşturur; bu yapı, polinomlar ve doğrusal denklem sistemleri üzerinde çalışmak için güçlü bir zemin sağlar. Sayı kümeleri karşılaştırması yapıldığında her genişlemenin yeni bir cebirsel işlemi kapsama altına aldığı görülür: ℕ → ℤ çıkarmayı, ℤ → ℚ bölmeyi mümkün kılar. Bu hiyerarşik genişleme, matematiğin yapı inşası anlayışının en açık örneğini sunar.