Tree (descriptive set theory): Difference between revisions

Content deleted Content added
m remove Erik9bot category, no longer needed for this article using Project:AWB
m fix inadvertent word deletion from October that made nonsense of the initial sentence
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 under initial segments.
 
More formally, it is a subset <math>T</math> of <math>X^{<\omega}</math>, such that if