的元素formula_32属于formula_1。符号表示为：这一概念也蕴涵了前述的定义，例如，formula_35是集合formula_36的交集。（若 M 为空集，有时候谈论它的交集也是有意义的，请见空交集。）这一概念的表示符号有多种。集合论者有时用formula_37，有时用formula_38。后一种写法可以一般化为formula_39，表示集合formula_40的交集。这里formula_41非空，而对于每个formula_41里的formula_43是一个集合。当索引集form