Talk:Transfinite Recursion Theorem/Theorem 1

What is being proved is slightly different: that the elements of $K$, which are functions on ordinals, are totally ordered with respect to $\subseteq$. We do prove (in the ordinals section) that $\subseteq$ creates a total ordering (in fact, well ordering) on $\operatorname{On}$. --Andrew Salmon (talk) 05:33, 23 August 2012 (UTC)

Tentatively made some changes. --Andrew Salmon (talk) 05:59, 23 August 2012 (UTC)

Plenty still to do. Consistent linking and naming still need to be done, e.g. no reason to use both "function" and "mapping" as both are the same thing, needs to be changed to "mapping" thruout. --prime mover (talk) 06:31, 23 August 2012 (UTC)