Como ya se hizo alusión arriba, un orden es una relación binaria especial.