@KripkePlatek It's just as 21820 said. The definition of topology is that it has closure under arbitrary unions, which is a stronger property than simply having closure under countable unions.