# Class Equal to All its Elements

 It has been suggested that this article or section be renamed: Class is Extensional One may discuss this suggestion on the talk page.

## Theorem

Let $A$ be a class.

Then:

$A = \left\{{x : x \in A }\right\}$

## Proof

This page is beyond the scope of ZFC, and should not be used in anything other than the theory in which it resides.

If you believe that the contents of this page can be reworked to allow ZFC, then you can discuss it at the talk page.

We have:

$x \in \left\{{x : x \in A}\right\} \iff x \in A$

by definition of class membership (applied to $\left\{{x : x \in A}\right\}$).

By Universal Generalisation, it follows that:

$\forall x: \left({ x \in A \iff x \in \left\{{x : x \in A}\right\} }\right)$

Hence the result, by definition of class equality.

$\blacksquare$