ஒரு செயல்பாடு ஒன்றுக்கு ஒன்று இல்லையென்றால் அதற்கு தலைகீழ் உள்ளதா?
அனைத்து செயல்பாடுகளுக்கும் தலைகீழ் செயல்பாடுகள் இல்லை. ஒரு செயல்பாடு f: X → Y க்கு தலைகீழ் இருக்க, Y இல் உள்ள ஒவ்வொரு y க்கும் ஒன்று இருக்க வேண்டும், X இல் ஒரு x மட்டுமே இருக்க வேண்டும், இதனால் f (x) = y. இந்த பண்பு g: Y → X செயல்பாடு f உடன் தேவையான உறவைக் கொண்டிருப்பதை உறுதி செய்கிறது.