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