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

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

$(\mathrm{\forall }S\subseteq X)[S\ne \mathrm{\varnothing }⟹(\mathrm{\exists }m\in S)(\mathrm{\forall }s\in S)\mathrm{\neg }(sRm)].$

Див. також

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

Джерела

• Шаблон:Хаусдорф.Теория множеств
• Шаблон:Куратовский.Мостовский.Теория множеств