Before revision: For any k ≥ 1, T0k is the set of functions f such that Moreover, is the set of functions bounded above by a variable: there exists i = 1, ..., n such that for all a.
After revision: =thk+1k+2, ↛=↛For any k ≥ 1, T0k is the set of functions f such that Moreover, is the set of functions bounded above by a variable: there exists i = 1, ..., n such that for all a.