and
must be the same person, because one may be the father of
and the other the mother. This illustrates that it is characteristic of one-many relations when the relative product of a relation and its converse implies identity. In the case of one-one relations this happens, and also the relative product of the converse and the relation implies identity. Given a relation
, it is convenient, if
has the relation