Ультрафильтр: различия между версиями
[непроверенная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
Строка 28:
* ультрафильтр на конечном множестве всегда является [[фильтр (математика)|главным]].
* любой ультрафильтр на бесконечном множестве содержит [[фильтр (математика)|конечный фильтр]].
* если <math>F</math> — главный ультрафильтр на множестве <math>X</math>, то его главный элемент является пересечением всех элементов ультрафильтра.
* если <math>F</math> — неглавный ультрафильтр на множестве <math>X</math>, то пересечение всех его элементов пусто.
== Каждый фильтр содержится в ультрафильтре ==
|