A ∪ B = { x / x ∈ "A" formula_12 x ∈ "B" }