یک تابع مجموعه ای از زوج های مرتب است که در آن هیچ دو زوج مرتبی دارای مؤلفه های اول یکسان نباشند و اگر دو زوج مرتب دارای مؤلفه های اول یکسان باشند آن گاه مؤلفه های دوم آن ها هم باید یکسان باشند.
دو زوج مرتب و دارای مؤلفه های اول برابر هستند. بنابراین باید مؤلفه های دوم آنها با هم برابر باشند:
دو زوج مرتب و دارای مؤلفه های اول برابر هستند. بنابراین برای تابع بودن مؤلفه های دوم آن ها هم باید برابر باشند.
مؤلفه های تکراری را باید حذف کنیم سپس مجموع اعضای برد را حساب کنیم:
مجموع اعضای برد برابر است با (مؤلفه های دوم زوج های مرتب مجموعه برد را تشکیل می دهند.)