Talk:Compact set