Because of Cantor's theorem each set in the preceding sequence has cardinality strictly greater than the one preceding it.
Поради Канторовата теорема, секое множество во претходната низа има кардиналност строго поголема од она кое му претходи.