The inverse of , written as , is a relation from to defined by .
It is obvious that is a subset of and is a subset of .
It is also clear that is a subset of and range of is a subset of .
Taking , then
(i) The relation Fatherhood on is
(ii) The daughterhood relation on is
(iii) The sonhood relation on is
(iv) The brotherhood relation on is