holds between three terms when

' holds between their

-correlates, and only then. And we shall say that

is like

' when there is at least one correlator of