إن قلنا أن f اقتران تبايني، أو اقتران واحد لواحد، هذا يعني أنه لكل قيمة من قيم يتم التحويل إليها، سأكتبها هكذا، لكل قيمة موصل إليها - لنقل، ساقولها بعدد من الطرق المختلفة- هناك على الأكثر x واحدة كي يحول إليها.