 …we may regard the sum of P and Q as a relation which holds between x and y when either x precedes y in the P series, or x precedes y in the Q series, or x belongs to the P-series and y belongs to the Q-series.