Definition:Quasi-Compact Topological Space