whose domain is the field of

and whose converse domain is the field of

, and which is such that, if one term has the relation

to another, the correlate of the one has the relation

to the correlate of the other, and vice versa.