if
is one-one, has the field of
for its converse domain, and is such that
is the relative product of
and
