(documentation Set ChineseLanguage "这是个 SetOrClass 能满足延伸性和由集合理论的某些选择所指定 的其他约束.Set 在两个重要方面与 Classes 不同:第一,Sets 是可以延伸的 - 两个拥有一样 element 的 Set 是相同的.第二,一个 Set 可以是一堆随意组成的东西.这就是说 Set 不需要具有确定 其成员资格的相关联条件.注:我们并没有假设每个 Set 为独一无二的集合,即是说一个 Set 的组员可以在那个 Set 出现超过一次.") chinese_format.kif 1811-1815