Quasi-compact space