_27和formula_28的交集为formula_29。交集运算满足结合律。即：
任意交集.以上定义可推广到任意非空集合的集合的交集。若 M 是一个非空集合，其元素本身也是集合，则formula_8属于 M 的交集，当且仅当对任意M 的元素formula_32属于formula_1。符号表示为：这一概念也蕴涵了前述的定义，例如，formula_35是集合formula_36的交集。（若 M 为空集，有时候谈论它的交集也是有意义的，请见空交集。）这一概念的表示符号有多种