Sea formula_1 un conjunto dado no vacío y formula_2 una relación binaria definida en formula_1, entonces se dice que formula_2 es una relación de orden