 The product \( \relQ \otimes P \) is … a relation which has for its field all the couples that can be formed by choosing a the referent in \(C ‘ P \) and the relatum in \(C ‘ Q \). These couples are arranged by \( \relQ \otimes \relP \) on the following principle: If the relatum of the one couple has the relation \( \relQ \) to the relatum of the other, we put the one before the other, and if the relata of the two couples are equal while the referent of the one has the relation \( \relP \) to the referent of the other, we put the one before the other. 