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