习题 18, § 1
标签 03UE,永久不变。引用为 [Bourbaki, Tag 03UE]。
集合论, III, 218
Bourbaki marks this one as harder than the rest, it is set in small type as supplementary.
Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。
令 A 为集合,且至少具有三个元素,令 为 A 的所有划分中的集合,在 和 之间按关系“ 比 更细”排序(no. 1,例4)。 证明 是完全格 (习题 11),不是可分配的 (习题 17),但相对补。 (为了证明最后一个断言,集合属于到划分。)\*
解答
尚未写出解答。