整礎な全順序関係のこと

定義

集合S上の整列順序関係とは

S上の半順序関係\leであって

Sの空でない任意の部分集合が必ず\leに関する最小元をもつ

ものをいう

この定義より、この集合は完全律を自動的に満たす

だから整列順序の定義で全順序の仮定をする必要もないし、整礎と区別する必要もない気がするが、

wikipediaによれば、ここに明確な区別があるっぽい

真の順序とかを知らん