Definition:Compact Space