," we shall call

a correlator of

and

' if it has the field of

' for its converse domain, and is such that the relation