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:

    “In externals we advance with lightening express speed, in modes of thought and sympathy we lumber on in stage-coach fashion.”
    —Frances E. Willard 1839–1898, U.S. president of the Women’s Christian Temperance Union 1879-1891, author, activist. The Woman’s Magazine, pp. 137-40 (January 1887)

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

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