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