Well-founded set
http://dbpedia.org/resource/Well-founded_set
Фундована множина (фундований порядок) — частково впорядкована множина, в якій для кожної непорожньої підмножини існує мінімальний елемент. Мінімальних елементів може бути декілька і навіть нескінченна кількість. Формально, якщо на множині (або класі) задане бінарне відношення і для кожної існує мінімальний щодо елемент для якого не існує елемента такого, що виконується Тобто, Інакше можна сказати, що множина фундована тоді і тільки тоді, коли в ній не існує нескінченної спадної послідовності елементів.
rdf:langString
In der Mathematik ist eine fundierte Menge (auch wohlfundierte Menge, fundierte Ordnung, terminierende Ordnung, noethersche Ordnung) eine halbgeordnete Menge, die keine unendlichen echt absteigenden Ketten enthält. Äquivalent dazu heißt eine halbgeordnete Menge fundiert, wenn jede nichtleere Teilmenge mindestens ein minimales Element enthält.
rdf:langString
Фундированное множество — частично упорядоченное множество , у которого любое непустое подмножество имеет минимальный элемент. Под минимальным элементом в здесь понимается , такой, что для любого из следует . В математике фундированное множество также известно как полурешётка. (Некоторые авторы[какие?] дополнительно требуют, чтобы отношение R было .)
rdf:langString
rdf:langString
Fundierte Menge
rdf:langString
Фундированное множество
rdf:langString
Well-founded set
rdf:langString
Фундована множина
xsd:integer
33288
xsd:integer
953085481
rdf:langString
In der Mathematik ist eine fundierte Menge (auch wohlfundierte Menge, fundierte Ordnung, terminierende Ordnung, noethersche Ordnung) eine halbgeordnete Menge, die keine unendlichen echt absteigenden Ketten enthält. Äquivalent dazu heißt eine halbgeordnete Menge fundiert, wenn jede nichtleere Teilmenge mindestens ein minimales Element enthält. Alle wohlgeordneten Mengen sind fundiert, weil in einer wohlgeordneten Menge jede nichtleere Teilmenge ein kleinstes Element haben muss und das kleinste Element einer Menge immer auch minimal ist. Anders als wohlgeordnete Mengen brauchen fundierte Mengen nicht totalgeordnet zu sein. Alle total geordneten fundierten Mengen sind wohlgeordnet.
rdf:langString
Фундированное множество — частично упорядоченное множество , у которого любое непустое подмножество имеет минимальный элемент. Под минимальным элементом в здесь понимается , такой, что для любого из следует . В математике фундированное множество также известно как полурешётка. (Некоторые авторы[какие?] дополнительно требуют, чтобы отношение R было .) Эквивалентное определение при условии использования аксиомы выбора состоит в том, что множество M с отношением R является фундированным тогда и только тогда, когда оно удовлетворяет условию обрыва убывающих цепей, то есть не существует бесконечной последовательности x0, x1, x2, … элементов из M такой, что xn+1 R xn для любого индекса n.
rdf:langString
Фундована множина (фундований порядок) — частково впорядкована множина, в якій для кожної непорожньої підмножини існує мінімальний елемент. Мінімальних елементів може бути декілька і навіть нескінченна кількість. Формально, якщо на множині (або класі) задане бінарне відношення і для кожної існує мінімальний щодо елемент для якого не існує елемента такого, що виконується Тобто, Інакше можна сказати, що множина фундована тоді і тільки тоді, коли в ній не існує нескінченної спадної послідовності елементів.
xsd:nonNegativeInteger
35