Ciao. Come è chiamata una relazione binaria che sia 1) transitiva e 2) tale che per ogni \( a \) e \( b \) dell'insieme sia, detta \( {<} \) la relazione, o \( a<b \) o \( a=b \) o \( a>b \), dove ognuna condizione esclude le altre due?
È una relazione d'ordine? L'unica proprietà degli ordini ad essere rispettata mi sembra essere la sola transitività 1).