Domain $$\mathbb{X}$$ and codomain $$\mathbb{Y}$$ on which an example function $$f$$ is defined are shown. This function $$f$$ is surjective, since each $$y$$ element in $$\mathbb{Y}$$ has been assigned a $$x$$ element in $$\mathbb{X}$$.