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:

    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)

    My paramount object in this struggle is to save the Union, and is not either to save or to destroy slavery. If I could save the Union without freeing any slave, I would do it; and if I could save it by freeing all the slaves, I would do it; and if I could save it by freeing some and leaving others alone, I would also do that.
    Abraham Lincoln (1809–1865)

    These semi-traitors [Union generals who were not hostile to slavery] must be watched.—Let us be careful who become army leaders in the reorganized army at the end of this Rebellion. The man who thinks that the perpetuity of slavery is essential to the existence of the Union, is unfit to be trusted. The deadliest enemy the Union has is slavery—in fact, its only enemy.
    Rutherford Birchard Hayes (1822–1893)