subword_closure (224B)
1 # Subword closure 2 3 The *subword closure* of a [formal_language] L is the set of all [words] that are [subwords] of a word of L 4 5 By definition it is a [subword_closed_language] 6 7 Up: [subword] 8 9 See also: [subsequence_closure]