Для кожных двух неарыентаваных мностваў і праўдзіва, што мноства ёсьць падмно́ствам мноства , пазначанае выразам , тады і толькі тады, калі для кожнага колькасьць яго ўваходжаньняў у мноства ня больш, чым колькасьць уваходжаньняў у мноства .

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

Фармальна:

У прыватнасьці – мноства ёсьць падмно́ствам мноства , пазначанае выразам , тады, калі для кожнага для кожнага яго ўваходжаньня у мноства непаўторна icнуе яго ўваходжаньне у мноства .