generalized_topological_space