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:

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

    “The union of hands and hearts.”
    —Jeremy Taylor (1613–1667)

    “Let’s have the Union restored as it was, if we can; but if we can’t, I’m in favor of the Union as it wasn’t.”
    —Artemus Ward (1834–1867)