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