Падмноства

Зьвесткі зь Вікіпэдыі — вольнай энцыкляпэдыі
Перайсьці да: навігацыі, пошуку
Мноства 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}.