This article will be permanently flagged as inappropriate and made unaccessible to everyone. Are you certain this article is inappropriate? Excessive Violence Sexual Content Political / Social
Email Address:
Article Id: WHEBN0000052553 Reproduction Date:
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.
In the formal language of the Zermelo–Fraenkel axioms, the axiom reads:
or in words:
What the axiom is really saying is that, given a set A, we can find a set B whose members are precisely the members of the members of A. By the axiom of extensionality this set B is unique and it is called the union of A, and denoted \bigcup A. Thus the essence of the axiom is:
The axiom of union is generally considered uncontroversial, and it or an equivalent appears in just about any alternative axiomatization of set theory.
Note that there is no corresponding axiom of intersection. If A is a nonempty set containing E, then we can form the intersection \bigcap A using the axiom schema of specification as
so no separate axiom of intersection is necessary. (If A is the empty set, then trying to form the intersection of A as
is not permitted by the axioms. Moreover, if such a set existed, then it would contain every set in the "universe", but the notion of a universal set is antithetical to Zermelo–Fraenkel set theory.)
Cryptography, Artificial intelligence, Software engineering, Science, Machine learning
Epistemology, Computer science, Philosophy, Aesthetics, Metaphysics
Logic, Set theory, Statistics, Number theory, Mathematical logic
Axiom of choice, Mathematical logic, Category theory, Mathematics, Foundations of mathematics
Epistemology, Metaphysics, Ludwig Wittgenstein, Philosophy of science, David Hume
Computer science, Logic, Mathematics, Axiom of empty set, Axiom of union
Set theory, Well-order, Cardinal number, Order topology, Transitive set
Set theory, Bertrand Russell, Axiom of choice, Real number, Mathematics
Logic, Mathematical logic, Set theory, Bertrand Russell, Metalogic