Otherwise known as dictionary ordering, or alphabetic ordering. Known in discrete mathematics as a partial ordering. Where the relation is reflexive, transitive, and antisymmetric.