User:Dfeuer/Definition:Intersection

Definition

Let $A$ be a class.

Then $\bigcap A$ is defined as the class containing all elements $x$ satisfying the condition:

$\forall y: y \in A \implies x \in y$

This class exists by the axiom of separation and is unique by the axiom of extensionality.