Sea formula_14 un conjunto dado, formula_15 es una relación de orden parcial si y solo si al menos un par de elementos de formula_14 se relacionan entre sí, es decir,