# Class is Proper iff Bijection from Class to Proper Class/Corollary

Jump to navigation
Jump to search

## Theorem

Let $A$ be a class.

Let $\mathrm P$ be a proper class.

Then $A$ is proper if and only if there exists a bijection from $\mathrm P$ to $A$.

## 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 see any proofs that link to this page, please insert this template at the top.*

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

From Biconditional is Transitive and Class is Proper iff Bijection from Class to Proper Class, it suffices to show that:

- There exists a bijection from $A$ to $\mathrm P$ iff there exists a bijection from $\mathrm P$ to $A$.

The rest follows from Inverse of Bijection is Bijection.

$\blacksquare$