Lexikografické uspořádání: Porovnání verzí

Předpokládejme, že množina <math> X \,\! </math> je [[Uspořádaná množina|uspořádána]] [[Binární relace|relací]] <math> R \,\! </math>.<br />

Lexikografické uspořádání množiny všech uspořádaných dvojic z [[Kartézský součin|kartézského součinu]] <math> X \times X = \{ [a,b] : a,b \isin X \} \,\! </math> podle relace <math> R \,\! </math> je definováno vztahem<br />

 

Obecněji lze lexikografické uspořádání zavést pro uspořádané n-tice z <math> X \,\! </math>, tj. na množině <math> X^n = \{ [a_1,a_2,\ldots,a_n] : a_i \isin X \} \,\! </math> pomocí vztahu

<math> [a_1,a_2,\ldots,a_n] \leq_{Le} [b_1,b_2,\ldots,b_n] \Leftrightarrow \,\! </math><br />

<math> (a_1 <_R b_1) \vee \,\! </math><br />

<math> \dots \,\! </math><br />

 

== Vlastnosti ==