prʲisʌjidʲinʲˈenʲijɪ kˈɑ nʲe bˈoɭʲijɪ tʃʲˈem ɕˈɵtnʌvʌ mnˈoʒystva nʲe mʲinʲˈɑjit jɪvˈo mˈoɕnʌsʲtʲɪ, takʲˈim ˈobrʌzʌm dɭʲɑ nʲe bˈoɭʲijɪ tʃʲˈem ɕˈɵtnʌvʌ mnˈoʒystva sprʌvʲidɭʲˈivʌ: .
Присоединение к  не более чем счётного множества не меняет его мощности, таким образом для не более чем счётного множества  справедливо: .