A map f:X->Y is surjective <=> forall y in Y there exists x in X s.t. f(x)=y.