En términos de la disyunción lógica, la unión utilizada en teoría de conjuntos se define así: "x" ∈ "A" ∪ "B" si –sólo si– ("x" ∈ "A") ∨ ("x" ∈ "B").