Changes

There are two methods for attempting to disentangle this confusion that are generally tried, the first more rarely, the second quite frequently, though apparently in opposite proportion to their respective chances of actual success.  In order to describe the rationales of these methods I need to introduce a number of technical concepts.

There are two methods for attempting to disentangle this confusion that are generally tried, the first more rarely, the second quite frequently, though apparently in opposite proportion to their respective chances of actual success.  In order to describe the rationales of these methods I need to introduce a number of technical concepts.

Suppose <math>P\!</math> and <math>Q\!</math> are dyadic relations, with <math>P \subseteq X \times Y\!</math> and <math>Q \subseteq Y \times Z.\!</math>  Then the ''contension'' of <math>P\!</math> and <math>Q\!</math>  is a triadic relation <math>R \subseteq X \times Y \times Z\!</math> that is notated as <math>R = P\!\!\And\!\!Q\!</math> and defined as follows:

Suppose <math>P\!</math> and <math>Q\!</math> are dyadic relations, with <math>P \subseteq X \times Y\!</math> and <math>Q \subseteq Y \times Z.\!</math>  Then the ''contension'' of <math>P\!</math> and <math>Q\!</math>  is a triadic relation <math>R \subseteq X \times Y \times Z\!</math> that is notated as <math>R = P\!\!\And\!\!Q\!</math> and defined as follows.

 

| <math>P\!\!\And\!\!Q\ ~=~ \{ (x, y, z) \in X \times Y \times Z : (x, y) \in P ~\text{and}~ (y, z) \in Q \}.\!</math>

<pre>

<pre>

In other words, P&Q is the intersection of the "inverse projections" P' = Pr12 1(P) and Q' = Pr23 1(Q), which are defined as follows:

In other words, P&Q is the intersection of the "inverse projections" P' = Pr12 1(P) and Q' = Pr23 1(Q), which are defined as follows: