Sin ninguna razón especial, un orden completamente lineal (no solo afín). Eso significa que, en cada cláusula, los componentes del lhs se utilizan en el rhs exactamente una vez.