Получен критерий существования такой σ-алгебры Σ подмножеств данного множества X, что Σ является порядково полной и атомной, но не дискретной, т.е. Σ не совпадает с совокупностью объединений всевозмножных подмножеств некоторого разбиения множества X.