closed under finite union을 countable로 확장시켜야되는데
시발 이거 어떻게 하드라
그냥 arbitrary하니깐 된다고 해?