Mengi A kallast hlutmengi í mengi B ef hvert stak í A er líka stak í B. Ef A er hlutmengi í B og B hefur að minnsta kosti eitt stak umfram A, kallast A eiginlegt hlutmengi í B.

Mengjafræði

Падмноства | Podmnožina | Teilmenge | Subset | Subconjunto | Alamhulk | Osajoukko | Sous-ensemble | תת קבוצה | Sottoinsieme | 部分集合 | 부분집합 | Deelverzameling | Podzbiór | Подмножество | Podmnožica | Delmängd | Підмножина | 子集