יחס הופכי – הבדלי גרסאות

* היחס ההופכי ליחס "<math>x\mathcal{R}y</math> [[אם ורק אם]] קיים אדם x כך ששם המשפחה של x הוא y" בין שמות של אנשים ומשפחות הוא היחס "<math>x\mathcal{R}^{-1}y</math> אם ורק אם קיים אדם y כך ששם המשפחה של y הוא x".