Una funzione è detta suriettiva se ad ogni elemento del codomio è associato almeno un elemento del dominio.
$$ f : X \rightarrow Y $$
$$ \forall y \in Y, \exist x \in X : f(x) = y $$