Фрагмент - это всегда:

Пересечение перечислимых множеств - всегда:

Отношение эквивалентности - это всегда отношение:

Множество всех показателей n, для которых существует целое решение уравнения xⁿ+yⁿ=zⁿ всегда:

Объединение перечислимых множеств А и В всегда перечислимо: