Let $(X,d)$ be a metric space and let $T_{1},\ldots,T_{N}$ be a finite number of contractions on $X$ i.e. each $T_{i}\colon X\to X$ enjoys the property

($T_{i}$ is $\lambda_{i}$-Lipschitz) for some $\lambda_{i}<1$.

Given a set $A\subset X$ we can define

The most famous example of self-similar fractal is the Cantor set. This is constructed in $X=\mathbb{R}$ with the usual Euclidean metric structure, by choosing $N=2$ contractions: $T_{1}(x)=x/3$, $T_{2}(x)=1-(1-x)/3$.

A more interesting example is the Koch curve in $X=\mathbb{R}^{2}$. In this case we choose $N=4$ similitudes with factor $1/3$.

By choosing other appropriate transformations one can obtain the beautiful example of the Barnsley Fern, which shows how the fractal geometry can successfully describe nature.

An important result is given by the following Theorem.

Notice that the empty set always satisfies the relation $T(\emptyset)=\emptyset$ and hence is not an interesting case. On the other hand, if at least one of the $T_{i}$ is surjective (as happens in the examples above), then the whole set $X$ satisfies $T(X)=X$.