This well-order, sometimes called "shortlex" or "quasi-lexicographical order", consists in considering first the lengths of the words (if , then ), and, if the lengths are equal, using the lexicographical order.