最終更新日:2024/07/30
(set theory, order theory) A total order of some set such that every nonempty subset contains a least element.
正解を見る
well-order
編集履歴(0)
(set theory, order theory) A total order of some set such that every nonempty subset contains a least element.
well-order