Følger ikke etter og er ikke lik

Relasjonen «følger etter eller er lik» gjelder ikke. I a ⋡ b er relasjonen a ≽ b usann. En ordning er en regel for å ordne eller sammenligne ting. «Følger etter» viser til denne regelen, ikke nødvendigvis til tid eller tallstørrelse.

Dette plasserer altså ikke alltid a før b. I en partiell ordning kan enkelte par av elementer være usammenlignbare. Hvis mengder for eksempel ordnes etter inklusjon, og ≽ betyr «inneholder eller er lik», gjelder relasjonen mellom {1} og {2} ingen av veiene: ingen av mengdene inneholder den andre. Å negere en ordensrelasjon er derfor noe annet enn å snu retningen.