Content deleted Content added
cosmetics, small corrections. closed sets in X^omega. connetion with trees from set theory |
m [T] is called body of T |
||
Line 21:
:<math>\vec x|n\in T</math>,
where <math>\vec x|n</math> denotes the sequence of the first <math>n</math> elements of <math>\vec x</math>. The set of all branches through <math>T</math> is denoted <math>[T]</math> and called the '''''body''''' of the tree <math>T</math>.
A tree that has no branches is called '''''[[wellfounded]]'''''; a tree with at least one branch is '''''illfounded'''''.
| |||