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:

    “You can no more keep a martini in the refrigerator than you can keep a kiss there. The proper union of gin and vermouth is a great and sudden glory; it is one of the happiest marriages on earth, and one of the shortest-lived.”
    —Bernard Devoto (1897–1955)

    “My Christian friends, in bonds of love, whose hearts in sweetest union join,
    Your friendship’s like a drawing band, yet we must take the parting hand.
    Your company’s sweet, your union dear; Your words delightful to my ear,
    Yet when I see that we must part, You draw like cords around my heart.”
    —John Blain (18th century)

    “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)