union axiom en · NOUN
Meanings
-
The axiom stating that for every set of sets A, there exists a set C whose elements are all and only the elements of at least one B ∈ A.
For every set T there corresponds a set ∪T which consists of all the elements of the elements of T.
1908, Ernst Zermelo, Investigations in the Foundations of Set Theory I:
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| union axioms | Number=Plur | lexicographic |
Relateds
power set axiom · axiom of infinity · pairing axiom · Zermelo-Fraenkel set theory