Изменения
Нет описания правки
Тогда последовательность <tex> ~A </tex> '''лексикографически меньше''' (англ. ''lexicographically less'') последовательности <tex> ~B </tex>, если выполняется одно из двух условий:
*<tex> n < m </tex> и при этом <tex> a_i = b_i </tex> для всех <tex>i \in [1 .. n] </tex>,
* <tex> \mathcal {9} exists k\leqslant \min(n, m): a_k < b_k </tex> и при этом <tex> \mathcal {8} forall j : j < k ~a_j = b_j </tex>.
}}
