Let be a topological space and . The subset topology is given by: