Logical Disjunction - Union

Union

The union used in set theory is defined in terms of a logical disjunction: x ∈ A ∪ B if and only if (x ∈ A) ∨ (x ∈ B). Because of this, logical disjunction satisfies many of the same identities as set-theoretic union, such as associativity, commutativity, distributivity, and de Morgan's laws.

Read more about this topic:  Logical Disjunction

Famous quotes containing the word union:

    “And thus they sang their mysterious duo, sang of their nameless hope, their death-in-love, their union unending, lost forever in the embrace of night’s magic kingdom. O sweet night, everlasting night of love! Land of blessedness whose frontiers are infinite!”
    —Thomas Mann (1875–1955)

    “Every good cause gained a victory when the Union troops were triumphant. Our final victory was the triumph of religion, of virtue, of knowledge.... During those four years, whatever our motives, whatever our lives, we were fighting on God’s side. We were doing His work. What would this country have been if we had failed?”
    —Rutherford Birchard Hayes (1822–1893)

    “Let’s have the Union restored as it was, if we can; but if we can’t, I’m in favor of the Union as it wasn’t.”
    —Artemus Ward (1834–1867)