Sem motivo especial, uma ordenação totalmente linear (não apenas afim). Isso significa que, em cada cláusula, os componentes do LHS são usados no RHS exatamente uma vez.