Definition intersection_eq
Definition.
intersection_eq
A ∩ B = {x | x ∈ A ∧ x ∈ B}
The
intersection
of two classes is the class containing every element that appears in both of them.