özaltküme anlamıİng. proper subset Bir kümenin kendisiyle özdeş olmayan alt kümesi. || Örn. {1,2} kümesi, {1,2, 3} kümesinin özaltkümesidir.
"özaltküme" için örnek kullanımlar
Sonsuz bir S kümesinin özaltküme si olan bir A kümesi, S ile aynı kardinalitede olabilir. Bütün sonsuz kümeler aynı kardinaliteye sahip Kaynak:Nicel sayı
G 'nin bir H özaltküme si G 'nin işlemine göre bir öbek oluyorsa H ye özaltöbek ya da özaltgrubu denir. H, sadece G nin birim öğe sini Kaynak:Altöbek