Una relación de orden en formula_1 es un relación en formula_1 reflexiva, antisimétrica y transitiva.