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:

    One thing that makes art different from life is that in art things have a shape ... it allows us to fix our emotions on events at the moment they occur, it permits a union of heart and mind and tongue and tear.
    Marilyn French (b. 1929)

    My Christian friends, in bonds of love, whose hearts in sweetest union join,
    Your friendship’s like a drawing band, yet we must take the parting hand.
    Your company’s sweet, your union dear; Your words delightful to my ear,
    Yet when I see that we must part, You draw like cords around my heart.
    John Blain (18th century)

    So we grew together
    Like to a double cherry, seeming parted,
    But yet an union in partition,
    Two lovely berries moulded on one stem.
    William Shakespeare (1564–1616)