A ∩ B = { x / x ∈ "A" formula_1 x ∈ "B" }