topology Definition Topological Space A topological space is a pair where is a set and is a topology on .