Subtypes of topological spaces