Definition:Surjection/Class Theory

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

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

Then $f$ is a surjection $\Img f = B$, where $\Img F$ denotes the image of $f$.

Also see

 * Definition:Injection