একটি অন্বয় যদি এরূপ হয় যে A সেটের প্রত্যেক উপাদান B সেটের অন্যান্য উপাদানের সাথে সংশ্লিষ্ট থাকে, তাহলে ঐ অন্বয়কে A সেট থেকে B সেটের একটি ফাংশন বলা হয়।