is the relation of father to son, the relative product of

and its converse will be the relation which holds between

and a man

when there is a person

, such that