Любые две нумерации перечислимых множеств:
Объединение перечислимых множеств А и В всегда перечислимо:
Счетное число непересекающихся перечислимых множеств попарно неотделимых разрешимым множеством:
Счетное число непересекающихся перечислимых множеств, никакие два из которых неотделимы разрешимым множеством:
Декартово произведение перечислимых множеств А и В перечислимо:
Среди перечислимых множеств множество, к которому m-сводится любое перечислимое множество X:
Два пересекающихся перечислимых множества, не отделимые разрешимым множеством:
Два главных универсальных множества для класса перечислимых подмножеств N:
Неверно для произвольных множеств:
Неверно для произвольных множеств: