On Nov 3, 1:14 pm, WM <mueck...@rz.fh-augsburg.de> wrote: > On 3 Nov., 15:28, William Hughes <wpihug...@gmail.com> wrote: > > > No nodes. Above we have C the finite trees, indexed by the natural > > numbers > > and K the union over N of C_n > > Correct. That's what I call the old set.(We never talked about a > single finite Binary Tree.)
K is not a finite tree. It does not matter how many finite trees we talked about, K is a new tree.
In general.
union over I (C_i) is a set C contains sets union over I (C_i) is not one of these sets union over I (C_i) is a new set
