Sin ninguna razón especial, un ordenamiento totalmente lineal (no solo afín). Eso significa que, en cada cláusula, los componentes de LHS se usan en el RHS exactamente una vez.