This paper is in the form of an essay. It defines fractal tops and code space structures associated with set-attractors of hyperbolic iterated function systems (IFSs). The fractal top of an IFS is associated with a certain shift invariant subspace of code space, whence the entropy of the IFS, and of its set-attractor, may be defined. Given any ordered pair of hyperbolic IFSs, each with the same...