Surjectivity

algebra

Definition

Surjectivity

A relation $R\subseteq A\times B$ is called surjective if if all elements of codomain $B$ are images of elements of domain $A$.

$$\forall b\in B:\exists a\in A:R(a)=b$$