Tree (descriptive set theory)

In descriptive set theory, a tree on a set ${\displaystyle X}$ is a collection of finite sequences of elements of ${\displaystyle X}$ such that every prefix of a sequence in the collection also belongs to the collection.