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)

    “One thing that makes art different from life is that in art things have a shape ... it allows us to fix our emotions on events at the moment they occur, it permits a union of heart and mind and tongue and tear.”
    —Marilyn French (b. 1929)

    “The old ideals are dead as nails—nothing there. It seems to me there remains only this perfect union with a woman—sort of ultimate marriage—and there isn’t anything else.”
    —D.H. (David Herbert)