In 1934 Sierpiński [5] proved that every function from a countable family X of continuous functions f : [0, 1] → [0, 1] can be obtained as a composition of four such functions. These four functions are said to generate the aforementioned family. The sequence X is not necessarily closed under composition, so it may be more precise to say that these four functions generate a semigroup containing ...
