Category:Finite Topological Space is Compact