A function $f : X \to Y$ associates each element of $X$ with:

• aat least one element of $Y$
• bexactly one element of $Y$
• call elements of $Y$
• dno element of