整礎関係

数学において、二項関係が整礎（せいそ、英: well-founded）であるとは、真の無限降下列をもたないことである。 == 定義 == 集合あるいはクラス X 上の二項関係 R が整礎であるとは、X の空でない任意の部分集合 S が R に関する極小元を持つことをいう。