Tree (descriptive set theory): Difference between revisions

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 underinitial subsequencessegments.
 
More formally, it is a subset <math>T</math> of <math>X^{<\omega}</math>, such that if