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:

    “To emancipate [the slaves] entirely throughout the Union cannot, I conceive, be thought of, consistently with the safety of the country.”
    —Frances Trollope (1780–1863)

    “[With the Union saved] its form of government is saved to the world; its beloved history, and cherished memories, are vindicated; and its happy future fully assured, and rendered inconceivably grand.”
    —Abraham Lincoln (1809–1865)

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