Un şir de caractere $a{~0~}a{~1~}…a{~n-1~}$ este mai mic lexicografic decât un alt şir de caractere $b{~0~}b{~1~}…b{~m-1~}$ dacă şi numai dacă:

* Există un indice $i$ ($0 &le; i < min(n, m)$) pentru care $a{~0~}a{~1~}&hellip;a{~i-1~} = b{~0~}b{~1~}&hellip;b{~i-1~}$ şi $a{~i~} < b{~i~}$; sau

* Există un indice $i$ $0 &le; i < min(n, m)$ pentru care $a{~0~}a{~1~}&hellip;a{~i-1~} = b{~0~}b{~1~}&hellip;b{~i-1~}$ şi $a{~i~} < b{~i~}$; sau

* $n < m$ şi $a{~0~}a{~1~}&hellip;a{~n-1~} = b{~0~}b{~1~}&hellip;b{~n-1~}$.
h2. Cerinţă