TDK Mantık Terimleri Sözlüğü
(Alm. Obermenge, f; Fr. surensemble, m; İng. superset)
mat. A kümesi için A nın her ögesini içeren bir B kümesi.