If X\subset Y, we call X self-similar if it is the only non-empty subset of Y such that the equation above holds for \{ f_s : s\in S \} .
The automorphisms of the dyadic monoid is the modular group; the automorphisms can be pictured as hyperbolic rotations of the binary tree.