Падмноства

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

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

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

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