Definition Intersection_eq

Definition. Intersection_eq
⋂M = {x | ∀A. A ∈ M → x ∈ A}

The intersection of a class of sets is the class containing every element that appears in all of them.