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:

    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)

    If in madness of delusion, anyone shall lift his parricidal hand against this blessed union ... the arms of thousands will be raised to save it, and the curse of millions will fall upon the head which may have plotted its destruction.
    Andrew Jackson (1767–1845)

    The monk in hiding himself from the world becomes not less than himself, not less of a person, but more of a person, more truly and perfectly himself: for his personality and individuality are perfected in their true order, the spiritual, interior order, of union with God, the principle of all perfection.
    Thomas Merton (1915–1968)