Падмноства

Мноства 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>) \le \mu(<S_{2},e>))$

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