Semigroups satisfying P-condition and topological self-similar sets

We give a definition of self-similar sets, which works in Hausdorff topological spaces and prove topological version of Hutchinson theorem without the assumption of completeness of the space.