closed under countable unions

<2023-11-28 Tue 20:23:58> mahmood