Ультрафильтр: различия между версиями
| [отпатрулированная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
Строка 32:
== Каждый фильтр содержится в ультрафильтре ==
Утверждение о том, что каждый фильтр содержится в ультрафильтре не может быть доказано без использования [[
Важным следствием этой теоремы является существование неглавных ультрафильтров на бесконечных множествах.
| |||