Soruya daha genel bir cevap verebiliriz:
Önerme: (G,∗) bir grup ve H⫋G bir alt grup olsun.
O zaman, ∗ işlemi, G∖H kümesi üzerinde kapalı olamaz.
(G∖H kümesi, ∗ işlemi altında kapalı olamaz.)
İspat:
a∈G∖H olsun. O zaman, (H bir alt grup olduğu için) a−1∉H , dolayısıyla a−1∈G∖H olur .
a∗a−1=e∈H (e, H ve G nin ortak birim elemanı) olduğu için a∗a−1∉G∖H olur.
(Daha da fazlası doğrudur: ∀b∈H için, a−1∗b∈G∖H ve a∗(a−1∗b)=b∉G∖H olur)
Bu da iddiamızı ispatlar.
Şimdi:
(R,+) grubu ve Q altgrubu için bu önermeyi kullanarak, irrasyonel sayıların toplama işlemi altında kapalı olmadığını görürüz.
(R∖{0},⋅) grubu ve Q∖{0} altgrubu için bu önermeyi kullanarak, irrasyonel sayıların çarpma işlemi altında kapalı olmadığını görürüz.
Benzer pek çok soruyu da kolayca cevaplayabiliriz:
Gerçel olmayan karmaşık sayılar (C∖R) da toplama ve çarpma işlemleri altında kapalı değildir.
Aşkın (transandant) (gerçel veya karmaşık) sayılar da toplama ve çarpma işlemleri altında kapalı değildir.