A = A' ={ x / x ∈ "U" formula_3 x ∉ "A" }