外延公理 (axiom of extensionality)

按作者与版本查阅

以下按已登记位置排列。出现顺序、原文引用与已登记依赖分别展示；最早位置不代表全书首次定义。

已登记出处中的最早位置：§1.2 · zh-CN。

位置	语言	登记角色
§1.2	zh-CN · 英文上下文	术语出现；位于定理入口环境中

来源短摘录与定位

§1.2 · zh-CN · translation · unreviewed

集合相等的判据（随文结论）

$T = S ⟺ T \subseteq S 且 S \subseteq T .$

证明

外延公理(axiom of extensionality)中的 $a \in T \Leftrightarrow a \in S$ 等价于两个方向的蕴含，分别对应 $T \subseteq S$ 与 $S \subseteq T$ 。

来源覆盖、定位与记录

索引保留所有已登记出处，不受模型材料包八小节限额影响。中英上下文按已登记的书、版次与小节配对，不冒充另一语言的概念定义。没有穷尽全书未标记的术语；程序校验不提升原著或译文审阅资格。

登记位置 1；当前可定位出现 1。

永久身份：urn:uuid:173248e5-fde2-41cb-a2da-8c6ae8ce612c。