Definition:Bijection/Class Theory

Definition
Let $A$ and $B$ be classes.

Let $f: A \to B$ be a class mapping from $A$ to $B$.

Then $f$ is said to be a bijection :
 * $f$ is both a class injection and a class surjection.

Also see

 * Definition:Class Injection
 * Definition:Class Surjection