Senza alcun motivo speciale, un ordinamento completamente lineare (non solo affine). Ciò significa che, in ogni clausola, i componenti lhs vengono utilizzati nel rhs esattamente una volta.