lär vara fullständigt ordnad.