bn:03796613n
Noun Concept
PT
No term available
EN
In descriptive set theory, the Kleene–Brouwer order or Lusin–Sierpiński order is a linear order on finite sequences over some linearly ordered set {\displaystyle }, that differs from the more commonly used lexicographic order in how it handles the case when one sequence is a prefix of the other. Wikipedia
Sources