On a reflective subcategory of the category of all topological spaces.