برای اینکه رابطه \( f \) یک تابع باشد، هر عنصر از دامنه (یعنی اولین عنصر هر زوج مرتب) باید دقیقاً به یک عنصر از برد (یعنی دومین عنصر هر زوج مرتب) مرتبط شود. اگر بخواهیم تابعی تعریف کنیم، میتوانیم به روش زیر عمل کنیم:
فرض کنیم رابطه \( f \) شامل موارد زیر است:
\[
f = \{(1,5), (3,3), (2,4), (4,1)\}
\]
در اینجا:
- عدد ۱ به ۵ مرتبط شده است.
- عدد ۳ به ۳ مرتبط شده است.
- عدد ۲ به ۴ مرتبط شده است.
- عدد ۴ به ۱ مرتبط شده است.
این انتخاب به گونهای است که هر عنصر اولین مقدار تنها یک بار در رابطه ظاهر شده است، که این ویژگی یک تابع بودن را تضمین میکند. مهم این است که اعداد در قسمت اول هر زوج مرتب با یکدیگر تکرار نداشته باشند.