Set subsetAofB.svg

Для кожных двух неарыентаваных мностваў $S\_\{1\}$ і $S\_\{2\}$ праўдзіва, што мноства $S\_\{1\}$ ёсць падмно́ства мноства $S\_\{2\}$, пазначанае выразам $S\_\{1\}\; \backslash subseteq\; S\_\{2\}$, тады і толькі тады, калі для кожнага $e$ колькасць яго ўваходжанняў ва мноства $S\_\{1\}$ ня больш, чым колькасць уваходжанняў ва мноства $S\_\{2\}$.

Фармальна:

У асобнасці – мноства $S\_\{1\}$ ёсць падмно́ства мноства $S\_\{2\}$, пазначанае выразам $S\_\{1\}\; \backslash subseteq\; S\_\{2\}$, тады , калі для кожнага $e$ для кожнага яго ўваходжання ва мноства $S\_\{1\}$ непаўторна icнуе яго ўваходжанне ва мноства $S\_\{2\}$. Тэорыя мностваў

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