User:Dfeuer/Definion:Union

From ProofWiki
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$