问一个集合论的问题

台阶

一个由所有整数组成的集合Z，是total ordering或者说是linear ordering,但不是well-founded。可是有一个poset是well-founded的判定条件是所有nonempty subset都有一个最小元素。Z明显符合这个条件啊。是哪里出问题了？

elim

Z 是 Z 的非空子集，它没有最小元．

台阶

elim 发表于 2023-6-20 23:41
Z 是 Z 的非空子集，它没有最小元．

谢谢你！我明白了。