Content deleted Content added
Howard McCay (talk | contribs) →Trees: Corrected subscript error which would omit final proper subsequence from its membership requirement in tree. |
Undid revision 998041846 by Hellacioussatyr (talk) please do not convert properly formatted mathematics markup into junk pseudo-math templates |
||
| (4 intermediate revisions by 3 users not shown) | |||
Line 8:
With this notation, a tree is a nonempty subset <math>T</math> of <math>X^{<\omega}</math>, such that if
<math>\langle x_0,x_1,\ldots,x_{n-1}\rangle</math> is a sequence of length <math>n</math> in <math>T</math>, and if <math>0\le m<n</math>,
then the shortened sequence <math>\langle x_0,x_1,\ldots,
===Branches and bodies===
| |||