e/Tree (descriptive set theory)

Information
has gloss	eng: In descriptive set theory, a tree on a set X is a set of finite sequences of elements of X that is closed under initial segments.
lexicalization	eng: tree
instance of	e/Tree (set theory)