একটি ফাংশনের উল্টা ফাংশন থাকতে হলে সেটি অবশ্যই একক ও সর্বত্র একক হতে হবে।
একটি সর্বত্র একক ফাংশনের সহগণ্ডিতে অন্তত একটি উপাদান থাকে যার জন্য গণ্ডিতে কোনো প্রাক্চিত্র নেই।
একটি ফাংশন একক হয় যদি তার গণ্ডির প্রতিটি উপাদান সহগণ্ডির একটি অনন্য উপাদানের সাথে সংযুক্ত হয়।
ডানদিকের সর্বাধিক ডায়াগ্রামটি একটি দ্বিত্বপূর্ণ ফাংশনকে প্রদর্শন করে, যা একটি উল্টা ফাংশনের সংজ্ঞা দেওয়ার অনুমতি দেয়।
মধ্যবর্তী ডায়াগ্রামে একটি ফাংশন দেখানো হয়েছে যা উভয়ই একক এবং সর্বত্র একক।
সত্য হলে T চাপ দিন। মিথ্যা হলে F চাপ দিন।