Logical Disjunction - Union

Union

The union used in set theory is defined in terms of a logical disjunction: xAB if and only if (xA) ∨ (xB). 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:

    Castro couldn’t even go to the bathroom unless the Soviet Union put the nickel in the toilet.
    Richard M. Nixon (1913–1995)

    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)

    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)