Recordemos que una relación de orden parcial en un conjunto formula_6 es una relación reflexiva, transitiva y antisimétrica.