台阶 发表于 2023-6-20 18:54

问一个集合论的问题

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

elim 发表于 2023-6-20 23:41

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

台阶 发表于 2023-6-21 06:25

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

谢谢你！我明白了。
页: [1]
查看完整版本: 问一个集合论的问题