整礎関係
数学において、二項関係が整礎（せいそ、）であるとは、真の無限降下列をもたないことである。