User:Dfeuer/Definion:Union

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$