Pudiéndose anotar: Ø = { x / x ∈ "A" formula_1 x ∉ "A" }