Category:Singleton Set in Discrete Space is Compact