Лемма Куратовского — Цорна — Лемма Цорна (англ. Zorn s lemma), также известная как лемма Куратовского Цорна (англ. Kuratowski – Zorn lemma), утверждает: Частично упорядоченное множество, в котором любая цепь имеет верхную грань, содержит максимальный элемент. Лемма носит… … Википедия
Лемма Куратовского — Лемма Цорна (англ. Zorn s lemma), также известная как лемма Куратовского Цорна (англ. Kuratowski – Zorn lemma), утверждает: Частично упорядоченное множество, в котором любая цепь имеет верхнюю грань, содержит максимальный элемент. Лемма … Википедия
Лемма Цорна — Аксиомой выбора (Axiom of choice) называется следующее высказывание теории множеств: Аксиома выбора утверждает: «Для каждого семейства непустых непересекающихся множеств существует [по меньшей мере одно] множество , которое имеет только один… … Википедия
Утверждения — Утверждения, эквивалентные аксиоме выбора В данной статье рассматриваются различные формулировки и доказывается эквивалентность следующих предложений: Аксиома выбора Теорема Цермело Принцип максимума Хаусдорфа Лемма Куратовского Цорна… … Википедия
Утверждения, эквивалентные аксиоме выбора — В данной статье рассматриваются различные формулировки и доказывается эквивалентность следующих предложений: Аксиома выбора Теорема Цермело Принцип максимума Хаусдорфа Лемма Куратовского Цорна Эквивалентность этих предложений следует понимать в… … Википедия
Аксиома выбора — Аксиомой выбора называется следующее высказывание теории множеств: «Для каждого семейства непустых непересекающихся множеств существует (по меньшей мере одно) множество , которое имеет только один общий элемент c каждым из множеств данного… … Википедия
Принцип максимума Хаусдорфа — (англ. Hausdorff maximal principle), также называемый теоремой Хаусдорфа о максимуме (англ. Hausdorff maximality theorem), утверждает: В любом частично упорядоченном множестве существует максимальное линейно упорядоченное подмножество.… … Википедия
Фрэмптон, Холлис — Холлис Фрэмптон (англ. Hollis Frampton, 11 марта 1936, Вустер, штат Огайо 30 марта 1984, Нью Йорк) американский кинорежиссёр, фотограф, видеохудожник, пионер компьютерного искусства, теоретик художественного авангарда. Один из… … Википедия
Список статей по математической логике — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия
ВЫБОРА АКСИОМА — одна из аксиом теории множеств, гласящая: для всякого семейства Fнепустых множеств существует функция f такая, что для всякого множества Sиз Fимеет место (при этом f наз. функцией выбора на F). Для конечных семейств FВ. а. выводима из остальных… … Математическая энциклопедия
если 
для всех 
Если верхняя граница для Асуществует, то множество Аназ. ограниченным сверху. Элемент 
наз. максимальным в X, если не существует элемента 
удовлетворяющего условию 
