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:

    “Thus piteously Love closed what he begat:
    The union of this ever-diverse pair!
    These two were rapid falcons in a snare,
    Condemned to do the flitting of the bat.”
    —George Meredith (1828–1909)

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

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