and the converse of

.

Two relations

and

are said to be "similar," or to have "likeness," when there is at least one correlator of

and