整列順序
wellorder
整礎な全順序関係のこと
定義
集合$ S上の整列順序関係とは
$ S上の半順序関係$ \leであって
$ Sの空でない任意の部分集合が必ず$ \leに関する最小元をもつ
ものをいう
この定義より、この集合は完全律を自動的に満たす
だから整列順序の定義で全順序の仮定をする必要もないし、整礎と区別する必要もない気がするが、
wikipediaによれば、ここに明確な区別があるっぽい
真の順序とかを知らん
https://en.wikipedia.org/wiki/Order_theory
https://fuchino.ddo.jp/misc/goedel_et_logique_du_20e_siecle_4_I_2.pdf