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:

    What should concern Massachusetts is not the Nebraska Bill, nor the Fugitive Slave Bill, but her own slaveholding and servility. Let the State dissolve her union with the slaveholder.... Let each inhabitant of the State dissolve his union with her, as long as she delays to do her duty.
    Henry David Thoreau (1817–1862)

    At all events, as she, Ulster, cannot have the status quo, nothing remains for her but complete union or the most extreme form of Home Rule; that is, separation from both England and Ireland.
    George Bernard Shaw (1856–1950)