Мощность множества всех подмножеств всегда больше мощности исходного множества из-за того, что исходное множество состоит из нескольких подмножеств. 2
Это утверждение следует из теоремы Кантора, которая гарантирует существование более мощного множества для любого данного. 3