TDK Mantık Terimleri Sözlüğü
(Alm. Teilmenge, f; Fr. sous-ensemble, m; İng. subset)
mat. Bir A kümesi için bütün ögeleri A’ya ait olan B kümesi.