User:Dfeuer/Definion:Union
Jump to navigation
Jump to search
Definition
Let $A$ be a class.
Then $\bigcup A$ is defined as the class of all $x$ satisfying the condition:
- $\exists y: y \in A \land x \in y$