در مجموعه هایی که به صورت زوج مرتب هستند، مولفه های اول زوج های مرتب به عنوان دامنه تابع خواهند بود.