اشتراک (نظریه مجموعه‌ها)

${\displaystyle \bigcap S:=\bigcap _{A\in S}A:=\{y\in X:\mathrm{\forall }A\in S,y\in A\}}$

${\displaystyle A_1\cap A_2\cap \cdots A_n=(A_1\cap A_2\cap \cdots A_{n-1})\cap A_n}$

${\displaystyle A\cap A=A}$

${\displaystyle A\cap B=B\cap A}$

${\displaystyle A\cap \varphi =\varphi \cap A=\varphi }$

${\displaystyle (A\cap B)\cap C=A\cap (B\cap C)}$

${\displaystyle A\cap (B\cup C)=(A\cap B)\cup (A\cap C)}$

${\displaystyle A\cup (B\cap C)=(A\cup B)\cap (A\cup C)}$

${\displaystyle A\subseteq B}$

اگر و تنها اگر ${\displaystyle A\cap B=A}$

.