Для кожных двух неарыентаваных мностваў
і
праўдзіва, што мноства
ёсьць падмно́ствам мноства
, пазначанае выразам
, тады і толькі тады, калі для кожнага
колькасьць яго ўваходжаньняў
у мноства
ня больш, чым колькасьць уваходжаньняў
у мноства
.
Мноства A — падмноства мноства B
Фармальна:
У прыватнасьці – мноства
ёсьць падмно́ствам мноства
, пазначанае выразам
, тады, калі для кожнага
для кожнага яго ўваходжаньня у мноства
непаўторна icнуе яго ўваходжаньне у мноства
.