在公理化集合论与使用它的逻辑、数学和计算机科学分支中,外延性公理或外延公理。在 Zermelo-Fraenkel 公理的形式语言中,它读作:给定任何集合A和任何集合B,A=B,当且仅当 给定任何集合x,x∈A当且仅当x∈B。(这里的x是集合不是本质性的,但在ZF中所有东西都是集合。
wài,夕,5,左右结构
wài 1. 外面;外表(跟“内”“里”相对) 2. 不在某种界限或范围之中 3. 非自己所在或所属的<跟“本”相对> ...
丿、㇇、丶、丨、丶
外汇、外甥、号外、外卖、外教
yán,廴,6,左下包围结构
yán 1. 引长;伸展 2. 引进;邀请 3. 推迟;放宽<期限>
丿、丨、一、㇄、㇋、㇏
延安、延寿、延绵、漫延、延保
gōng,八,4,上下结构
gōng 1. 属于国家或集体的(跟“私”相对) 2. 指国家或集体 3. 属于国家或集体的事务 ...
丿、㇏、?、丶
公式、公公、公历、雷公、公章
lǐ,王,11,左右结构
lǐ 1. 管理;治理 2. 整理;修整 3. 纹路;条纹 ...
一、一、丨、㇀、丨、?、一、一、丨、一、一
伦理、代理、理论、护理、管理
