اعداد صحیح مثبت (بزرگتر از صفر) رو در نظر بگیرین. هر «عدد صحیح مثبت» در رابطهی «معکوسی» با یک «عدد صحیح مثبت» دیگهست. بنابراین یک رابطه از یک موجودیت به خودش هست. دو طرف این رابطه ۱ هست چون هر عدد صحیح مثبت یک معکوس یکتا داره.
از طرفی هر عدد حتماً این معکوس رو داره و بنابراین دو طرف رابطه ضروری هست.