Оскільки кожному значенню x у виразах xRy і xRz відповідає одне і те ж значення, то y і z збіжаться, виявляться одними і тими ж. Функціональне відношення однозначне, оскільки кожному значенню x відношення xRy відповідає єдине значення y, але не навпаки. бієкцією, якщо кожному значенню х відповідає єдине значення у, і кожному значенню у відповідає єдине значення х.