共通部分 (数学)
⋂ n = 1 ∞ M n = M 1 ∩ M 2 ∩ M 3 ⋯ = M 1 ∩ ( M 2 ∩ ( M 3 ∩ ⋯ ) ) {\displaystyle \bigcap _{n=1}^{\infty }M_{n}=M_{1}\cap M_{2}\cap M_{3}\cdots =M_{1}\cap (M_{2}\cap (M_{3}\cap \cdots ))}
のようにも書く。
与えられた集合族の共通部分が空集合となるとき、つまり全ての集合に共通に含まれる元が一つも存在しないとき、その集合族は交わりを持たない (disjoint) という。また、どの二つの集合を取っても交わらないとき、その集合族は対ごとに交わりを持たない (pairwise disjoint) と言う。disjoint ではないが pairwise disjoint な集合族が存在する。