Conjunto equipado con una relación binaria de orden parcial.