数学において、二項関係が整礎（せいそ、）であるとは、真の無限降下列をもたないことである。集合あるいはクラス "X" 上の二項関係 "R" が整礎であるとは、"X" の空でない任意の部分集合 "S" が "R" に関する極小元を持つことをいう。（関係 "R" がさらに集合的であることを仮定する著者もいる。"X" が集合であればこれは自動的に成り立つ。）つまり、"S" の元 "m" であって、"S" の任意の元 "s" に対して対 ("s

出典:wikipedia