Por tanto, un orden total es un orden parcial que cumple la comparabilidad.