Фундоване відношення

В математиці, бінарне відношення R називається фундованим на класі X якщо непорожня множина S ⊆ X має мінімальний елемент по відношенню до R, тобто, такий елемент елемент m, для якого не існує s R m (для всіх s ∈ S. Формально:

$(\forall S\subseteq X)\;[S\neq \emptyset \implies (\exists m\in S)(\forall s\in S)\lnot (s\mathrel {R} m)].$

Див. також

• Фундована множина

Джерела

• Хаусдорф Ф. Теория множеств. — Москва ; Ленинград : ОНТИ, 1937. — 304 с. — ISBN 978-5-382-00127-2.(рос.)

• Куратовский К., Мостовский А. Теория множеств = Set Theory (Teoria mnogości). — М. : Мир, 1970. — 416 с.(рос.)