where a is an arbitrary element of A and T is formed of all trees of height at most one. Actually, it is enough to have in T the trees of height zero (i.e. reduced to one node) and the trees of height one with all the leaves labeled by a. Example 2.4 The set of finite tree...