parcial es también una relación de orden parcial.