Es también la única relación que es un orden parcial y una relación de equivalencia.