On attractors of iterated function systems in uniform spaces

We prove Hutchinson's theorem for uniform spaces, that a finite system $\mathcal{S}$ of $\mathcal{B}$-contractions in complete, well-chained, Hausdorff uniform space defines unique compact attractor.