交集

在集合论和数学中，两个集合



A


{\displaystyle A}

和



B


{\displaystyle B}

的交集（Intersection）是含有所有既属于



A


{\displaystyle A}

又属于



B


{\displaystyle B}

的元素，而没有其他元素的集合。

== 有限交集 ==

交集是由公理化集合论的分类公理来确保其唯一存在的特定集合



A
∩
B


{\displaystyle A\cap B}

：




(
∀
A
)
(
∀
B
)
(
∀
x
)

{

(
x
∈
A
∩
B
)
⇔

[

(
x
∈
A
)
∧
(
x
∈
B
)

]


}



{\displaystyle (\forall A)(\forall B)(\forall x)\left\{(x\in A\cap B)\Leftrightarrow \left[(x\in A)\wedge (x\in B)\right]\right\}}


也就是直观上：…