Decimos que formula_58 se restringe a un orden en formula_2 si se cumple que formula_99 es una relación de orden en formula_2.