Un orden parcial en formula_1 es una relación de orden en formula_1 que no es orden total.