to

. Thus we may set up the following definitions:—

A relation

is said to be a "correlator" or an "ordinal correlator" of two relations

and