Generalization of sequences and lemma's about thems; definition and lemma's on sequence prefixes.