closed under complement

<2023-11-28 Tue 20:24:12> mahmood
math