Each transform is an affine contraction. The IFS attractor is the unique compact set A satisfying A = ∪ᵢ fᵢ(A). Hausdorff dimension measures self-similarity.