"shortlex" meaning in English

{
  "etymology_text": "From short lexicographic.",
  "head_templates": [
    {
      "args": {
        "1": "-"
      },
      "expansion": "shortlex (uncountable)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        {
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with 1 entry",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "other",
          "name": "Pages with entries",
          "parents": [],
          "source": "w"
        },
        {
          "kind": "topical",
          "langcode": "en",
          "name": "Mathematics",
          "orig": "en:Mathematics",
          "parents": [
            "Formal sciences",
            "Sciences",
            "All topics",
            "Fundamental"
          ],
          "source": "w"
        }
      ],
      "examples": [
        {
          "text": "a shortlex normal form"
        }
      ],
      "glosses": [
        "A total ordering for finite sequences of objects that can themselves be totally ordered. Sequences are primarily sorted by cardinality (length) with the shortest sequences first, and sequences of the same length are sorted into lexicographic order."
      ],
      "id": "en-shortlex-en-noun-j3SuXpoA",
      "links": [
        [
          "mathematics",
          "mathematics"
        ],
        [
          "total",
          "total"
        ],
        [
          "ordering",
          "ordering"
        ],
        [
          "finite",
          "finite"
        ],
        [
          "sequence",
          "sequence"
        ],
        [
          "cardinality",
          "cardinality"
        ],
        [
          "lexicographic order",
          "lexicographic order"
        ]
      ],
      "raw_glosses": [
        "(mathematics, often attributive) A total ordering for finite sequences of objects that can themselves be totally ordered. Sequences are primarily sorted by cardinality (length) with the shortest sequences first, and sequences of the same length are sorted into lexicographic order."
      ],
      "related": [
        {
          "word": "colex"
        }
      ],
      "tags": [
        "attributive",
        "often",
        "uncountable"
      ],
      "topics": [
        "mathematics",
        "sciences"
      ]
    }
  ],
  "word": "shortlex"
}

{
  "etymology_text": "From short lexicographic.",
  "head_templates": [
    {
      "args": {
        "1": "-"
      },
      "expansion": "shortlex (uncountable)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "related": [
    {
      "word": "colex"
    }
  ],
  "senses": [
    {
      "categories": [
        "English entries with incorrect language header",
        "English lemmas",
        "English nouns",
        "English uncountable nouns",
        "Pages with 1 entry",
        "Pages with entries",
        "en:Mathematics"
      ],
      "examples": [
        {
          "text": "a shortlex normal form"
        }
      ],
      "glosses": [
        "A total ordering for finite sequences of objects that can themselves be totally ordered. Sequences are primarily sorted by cardinality (length) with the shortest sequences first, and sequences of the same length are sorted into lexicographic order."
      ],
      "links": [
        [
          "mathematics",
          "mathematics"
        ],
        [
          "total",
          "total"
        ],
        [
          "ordering",
          "ordering"
        ],
        [
          "finite",
          "finite"
        ],
        [
          "sequence",
          "sequence"
        ],
        [
          "cardinality",
          "cardinality"
        ],
        [
          "lexicographic order",
          "lexicographic order"
        ]
      ],
      "raw_glosses": [
        "(mathematics, often attributive) A total ordering for finite sequences of objects that can themselves be totally ordered. Sequences are primarily sorted by cardinality (length) with the shortest sequences first, and sequences of the same length are sorted into lexicographic order."
      ],
      "tags": [
        "attributive",
        "often",
        "uncountable"
      ],
      "topics": [
        "mathematics",
        "sciences"
      ]
    }
  ],
  "word": "shortlex"
}