jˈesɭʲɪ ɪsxˈodnyx mnˈoʒystf kʌnʲˈeʃnʌjɪ tʃʲisɭˈo , ɛɭʲimʲˈenty  — ˈɪx ʌbjjidʲinʲˈenʲija stˈɑnʲim numʲirʌvˈɑtʲ:  nʲitrˈudnʌ vʲˈidʲitʲ ˈɪs ɪndˈuktsyɪ, ʃto ustanˈovɭʲina bʲijˈektsyja ˈɛs .
Если исходных множеств  конечное число , элементы  — их объединения станем нумеровать:  Нетрудно видеть из индукции, что установлена биекция с .