Presi 2 elementi a,b possiamo distinguere i seguenti casi coesistenti:
- aRb o a-Rb - e bRa o b-Ra Possiamo combinarli:
+ bRa + b-Ra +++++++++++++++++++++++++++++++++++++ aRb + aRb e bRa + aRb e b-Ra +++++++++++++++++++++++++++++++++++++ a-Rb + a-Rb e bRa + a-Rb e b-Ra
elementi confrontabili (def)
aRb o bRa, cioe': aRb e bRa, o aRb e b-Ra, o a-Rb e bRa
elementi non confrontabili (def)
a-Rb e b-Ra
relazione totale (def) tutti i suoi elementi sono confrontabili tra loro.