Падмноства

Зьвесткі зь Вікіпэдыі — вольнай энцыкляпэдыі.



Мноства A — падмноства мноства B
Павялічыць
Мноства A — падмноства мноства B

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

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

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