Can you summarize the following document?
        
  formula_1和formula_2的交集寫作「formula_7」。形式上:  例如:集合formula_14和formula_15的交集為formula_16。數字formula_17不屬於素數集合formula_18和奇數集合formula_19的交集。  若兩個集合formula_1和formula_2的交集為空,就是說它們彼此沒有公共元素,則他們不相交,寫作:formula_22。例如集合formula_23和formula_24不相交,寫作formula_25。  更一般的,交集運算可以對多個集合同時進行。例如,集合formula_26,formula_27和formula_28的交集為formula_29。交集運算滿足結合律。即:

  以上定義可推廣到任意非空集合的集合的交集。若 M 是一個非空集合,其元素本身也是集合,則formula_8屬於 M 的交集,當且僅當對任意 M 的元素formula_32屬於formula_1。符號表示為:  這一概念也蘊涵了前述的定義,例如,formula_35是集合formula_36的交集。 (若 M 為空集,有時候談論它的交集也是有意義的,請見空交集。)  這一概念的表示符號有多種。 集合論者有時用formula_37,有時用formula_38。後一種寫法可以一般化為formula_39,表示集合formula_40的交集。這裡formula_41非空,而對於每個formula_41裡的formula_43是一個集合。  當索引集formula_41為自然數集合時,這種符號表示與無限序列相類似:  為了排版方便,上述符號也可以寫成"formula_46",儘管嚴格說來,像formula_47這樣的寫法是無意義的。(這個例子是可數個集合的交集,相當常用,可以參看formula_48-代數條目中的例子。)  最後,注意當符號formula_49寫在其他符號之前,而不是之間的時候,需要寫得大一號。(在HTML中,可以使用字型codice_1,或者嘗試codice_2。)
數學上,兩個集合formula_1和formula_2的交集是含有所有既屬於"formula_1"又屬於"formula_2"的元素,而沒有其他元素的集合。