. Thus if

is a one-many relation, the

of

exists whenever

belongs to the converse domain of