lexicographical order
(Q1144915)
generalization of the way the alphabetical order of words is based on the alphabetical order of their component letters
generalization of the way the alphabetical order of words is based on the alphabetical order of their component letters
Language:
Current Data About
lexicographical order
| (P31) |
(Q1069998)
|
||||||||||
| (P279) |
(Q1069998)
|
||||||||||
| (P828) |
(Q2303697)
|
||||||||||
| (P1482) |
https://stackoverflow.com/tags/lexicographic
|
||||||||||
| (P2534) |
\left(u\leq_\mathrm{lex}v\right)\Leftrightarrow\left(u\sqsubseteq v\right)\lor\left(\exists i\in\left[1,\min\left\{\left|u\right|,\left|v\right|\right\}\right]:u_i<v_i\right)
|
||||||||||
| (P6104) |
(Q8487137)
|
||||||||||
| (P7235) |
\sqsubseteq
<
|\cdot|
\leq_\mathrm{lex}
u
v
|
other details
| aliases |
lexicographic order lexical order dictionary order alphabetical order lexicographic product lexicographical product |
| description | generalization of the way the alphabetical order of words is based on the alphabetical order of their component letters |
External Links
| (P646) |
/m/02qvhb
|
| (P2812) |
LexicographicOrder
|
| (P4215) |
lexicographic order
|
| (P5106) |
lexicgrphcl
|
| (P6366) |
159254197
|
| (P10283) |
C159254197
|
| (P11514) |
leksikograficheskii-poriadok-48b04e
|