换成 (0,1) 会怎样
开区间 (0,1) 本身也能被一个开区间覆盖；但“每个开覆盖都有有限子覆盖”并不对它成立。例如用 (1/n, 1) 这类越来越靠近 0 的区间覆盖时，任何有限选择都会在 0 附近留下缺口。
有限子覆盖选择器
从一族开区间里勾选若干个，实时检查它们是否已经覆盖整个闭区间 [0,1]。紧性的味道就在这里：无限供应的开覆盖里，可以抽出有限份完成同一件事。
目标集合：[0, 1]
尚未覆盖已选数量
覆盖结论
缺口位置
换成无界集合会怎样
无界集合很容易需要无限向外延伸的覆盖。比如用 (-n,n) 覆盖整条实直线，任取有限多个只会得到某个最大的 (-N,N)，外面仍覆盖不到。