Content deleted Content added
Closing; no consensus for the merge, and the discussion has been stale for over 18 months; see Talk:Tree (descriptive set theory)#Merge With Tree (set theory) |
Undid revision 998041846 by Hellacioussatyr (talk) please do not convert properly formatted mathematics markup into junk pseudo-math templates |
||
(6 intermediate revisions by 4 users not shown) | |||
Line 13:
A '''branch''' through a tree <math>T</math> is an infinite sequence of elements of <math>X</math>, each of whose finite prefixes belongs to <math>T</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'''''. By [[
===Terminal nodes===
|