BranchesHistoryFPLHelpLogin
Welcome guest
You're not logged in.
306 users online, thereof 0 logged in

Axiom: Axiom of Union

For each set $X$ there is a set containing all elements of the elements of $X$, formally

$$\forall X~\exists Y~\forall xz (x\in X\wedge z\in x\Rightarrow z\in Y).$$

A note on notation:

The set, existence of which is ensured by the axiom of union, is denoted by $\bigcup X$ or, more detailed, $\bigcup_{u\in X} u.$ Both notations mean the following set:

$$z\in \bigcup X:\Leftrightarrow z\in u\text{ for an }u\in X.$$

| | | | | created: 2014-06-08 21:15:32 | modified: 2019-08-03 19:20:46 | by: bookofproofs | references: [983]

1.Corollary: Justification of Set Union

Edit or AddNotationAxiomatic Method

This work was contributed under CC BY-SA 4.0 by:

This work is a derivative of:

Bibliography (further reading)

[983] Ebbinghaus, H.-D.: “Einführung in die Mengenlehre”, BI Wisschenschaftsverlag, 1994, 3