Выдержка из книги
Верещагин Н.К.
Лекции по математической логике и теории алгоритмов Часть 2
Докажите, что если ультрафильтр не является главным, то вместе с каждым множеством А он содержит и все множества В, для которых симметрическая разность А Л В конечна.