Definition:Class Surjection

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 class surjection if and only if:

$\forall y \in B: \exists x \in A: f \left({x}\right) = y$