Падмноства

Мноства A — падмноства мноства B

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

Фармальна: $(S_{1}\subseteq S_{2})\iff \forall e(\mu (<S_{1},e>)\leq \mu (<S_{2},e>))$

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