relation d'ordre total définie sur l'ensemble E × E telle que (x0, y0) et (x1, y1) étant deux couples de E × E, si x0 ≠ x1, les couples sont rangés dans le même ordre que x0 et x1 ; si x0 = x1, les couples sont rangés dans le même ordre que y0 et y1. (Cet ordre est fondé sur le même principe que le classement des mots dans un dictionnaire, d'où son nom.)