ORA < ORB < OP.
Ad esempio, si fissa un ordine secondo cui O precede U ed U precede P,
si ha una ripartizione dei punti di OP in due classi.
Si pongono ora nella
classe A l'insieme dei punti del segmento OP che precedono almeno un
punto del tipo RA, e nella classe B l'insieme dei punti del segmento OP che seguono almeno un punto del tipo RB.
Allora
i punti di OP risultano suddivisi in due classi, tali che ogni punto
appartiene ad una ed una sola classe, ed ogni punto della prima classe
precede ogni punto della seconda classe.