习题 2, § 4

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

集合论, III, 230

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

证明集合 E 是有限的当且仅当 $\mathfrak{P}(\mathrm{E})$ 的每个非空子集都有极大元素（相对于包含）。（为了证明条件足够，请将其应用于 E 的有限子集的集合 $\mathfrak{F}(\mathrm{E})$ 。）

解答

尚未写出解答。

被以下引用

无。

无。