习题 2, § 2

标签 03KC，永久不变。引用为 [Bourbaki, Tag 03KC]。

集合论, III, 221

Google 翻译生成的粗略草稿，质量较低。术语依照术语表，但句子可能有误；之后会由仔细的译文取代。

令 E 为有序集合，令 $\mathfrak{B}$ 为 E 的子集的集合，它们通过归纳排序是良序的。证明关系“X是Y的一段”在 $\mathfrak{B}$ 上是X和Y之间的序关系，并且 $\mathfrak{B}$ 相对于这个序关系是归纳的。推断存在 E 的良序子集，且 E 中没有严格的上界。

解答

尚未写出解答。

被以下引用

无。