tree

set of finite sequences of elements of a set closed under initial segments