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

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

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

Див. також

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

Джерела

• Хаусдорф Ф. Теория множеств. — Москва ; Ленинград : , 1937. — 304 с. — .(рос.)

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