Some combinatorial properties of factorial languages

A language L over a finite alphabet A is factorial if each factor (or subword) of any word of L still belongs to L. Typical examples of factorial languages are those formed by all finite factors of a given set of infinite words. In this case the language satisfies the important property that any word of L can be prolonged, in at least one direction, in the language.