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
.
Example:
Let
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