交集

一族集合交集 (简称) 是这些集合的公共元素构成的集合.

1定义

一族子集的交

定义 1.1 (交).集合, 的一族子集. 它们的定义为集合有限集时, 例如 时, 也将交集记为 .

任意集合的交

ZFC 集合论中, 我们也能谈论任意一族集合的交.

定义 1.2 (交). 是非空集合. 中所有元素的是集合 , 满足如下性质:

对任意集合 , 当且仅当对任意 , 都有 .

然而, 这种交集的概念破坏了等价原理, 因为即使两个非空集合族同构 (即其成员能够一一对应, 且相对应的成员作为集合都同构), 这两族集合的交也可能不同构.

2相关概念

相交理论

术语翻译

英文 intersection德文 Schnitt (m)法文 intersection (f)拉丁文 intersectio (f)古希腊文 τομή (f)