如果某个集合是一个有界的闭集，那么它是一个紧集。