In axiomatic set theory and the branches of logic, mathematics, and computer science that use it, the axiom of union is one of the axioms of Zermelo–Fraenkel set theory, stating that, for any set x there is a set y whose elements are precisely the elements of the elements of x. Together with the axiom of pairing this implies that for any two sets, there is a set that contains exactly the elements of both.
Read more about Axiom Of Union: Formal Statement, Interpretation
Famous quotes containing the words axiom of, axiom and/or union:
“It’s an old axiom of mine: marry your enemies and behead your friends.”
—Robert N. Lee. Rowland V. Lee. King Edward IV (Ian Hunter)
“It is an axiom in political science that unless a people are educated and enlightened it is idle to expect the continuance of civil liberty or the capacity for self-government.”
—Texas Declaration of Independence (March 2, 1836)
“Visitors who come from the Soviet Union and tell you how marvellous it is to be able to look at public buildings without advertisements stuck all over them are just telling you that they can’t decipher the cyrillic alphabet.”
—Clive James (b. 1939)