सिद्ध कीजिए की: किसी प्रतिलोम सम्बन्ध का प्रतिलोम दिया हुआ मूल सम्बन्ध ही होता है।
अर्थात `(R^(-1))^(-1)=R`

Explanation

मान लीजिएः `R, AxxB` में कोई सम्बन्ध है।
अंत: `R={(x,y):x in A, y in B}`
तो `R^(-1)={(y,x): y in B, x in A)}`
पुनः `R^(-1)` का प्रतिलोम `(R^(-1))^(-1)={(x,y): x in A, y in B}`
=R