Content deleted Content added
m rm extraneous right parens |
See also |
||
Line 35:
Frequently trees on [[cartesian product]]s <math>X\times Y</math> are considered. In this case, by convention, the set <math>(X\times Y)^{\omega}</math> is identified in the natural way with <math>X^{\omega}\times Y^{\omega}</math>, and <math>[T]</math> is considered as a subset of <math>X^{\omega}\times Y^{\omega}</math>. We may then form the '''projection''' of <math>[T]</math>,
: <math>p[T]=\{\vec x\in X^{\omega} | (\exists \vec y\in Y^{\omega})<\vec x,\vec y>\in [T]\}</math>
== See also ==
* [[Infinite tree (graph theory)]]
[[Category:Descriptive set theory]]
| |||