With this terminology, the above definition of the lexicographical order becomes more concise: Given a partially or totally ordered set , and two words and over , then one has for the lexicographical order, if