رابطه، جورهٔ مرتب و تابع

در یک دیاگرام تیر، از هر عنصر ست اول (ورودی‌ها) تیری به یک عنصر ست دوم (خروجی‌ها) می‌رود. هر تیر یک جورهٔ مرتب است: تیر ⁦۱ → ۳⁩ یعنی جورهٔ (۱, ۳). (۱, ۳) و (۳, ۱) دو جورهٔ مختلف‌اند.

یک رابطه وقتی تابع است که از هر ورودی دقیقاً یک تیر بیرون شود. اگر دو ورودی به یک خروجی برسند، مشکلی ندارد؛ ولی اگر یک ورودی دو خروجی داشته باشد، رابطه تابع نیست.

در گراف، هر ورودی یک x است. آزمایش خط عمودی: اگر یک خط عمودی گراف را در دو نقطه قطع کند، گراف تابع نیست.