Definition:Set Intersection/Class

From ProofWiki
Jump to navigation Jump to search

Definition

Let $A$ be a class.

The intersection of $A$ is:

$\ds \bigcap A := \set {x: \forall y \in A: x \in y}$

That is, the class of all elements which belong to all the elements of $A$.


Also see

  • Results about set intersection can be found here.


Sources