relacja okreslona nastepujaco: napis a = a0 a1...ap poprzedza napis b = b0b1...bq (wszystkie znaki napisów naleza do liniowo uporzadkowanego zbioru), jesli albo (1) istnieje 0 ? j ? min( p,q), takie ze ai = bi dla i = 0, 1, ..., j-1 i aj < bj, albo (2) p < q i ai = bi dla i = 0, 1, ..., p. Zob. tez porzadek leksykograficzny.
- porzadek leksykograficzny, ( lexical order )