Content deleted Content added
m remove Erik9bot category, no longer needed for this article using Project:AWB |
False vacuum (talk | contribs) 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
|