Definition of Topological Space