wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

subsequence_order (176B)

      1 # Subsequence order
      2 
      3 The [partial_order] on [words] given by the [subsequence] relation
      4 
      5 By [Higman's_lemma], it is a [well_quasi_order] on [words]
      6 
      7 Up: [subsequence], [order]