بالتالي هذا عبارة عن تحويل من f المتغير a غلى الحل الوحيد، بالتالي هذه عبارة عن s بعد f المتغير a و الذس هو عبارة عنتحويل إلى - أو هذه هنا ستكون عبارة عنا الحل الوحيد للمعادلة الإقتران f للمتغير x و يساوي عنصر من المجموعة Y.