Uno ve fácilmente que esto da realmente un orden parcial.