Content deleted Content added
closed under subsequences -> initial segments |
|||
Line 1:
In [[descriptive set theory]], a '''tree''' on a set <math>X</math> is a set of finite sequences of elements of <math>X</math> that is closed
More formally, it is a subset <math>T</math> of <math>X^{<\omega}</math>, such that if
|