# Why do we require topologies are closed under arbitrary union?

A topology is closed under arbitrary union of open sets, and therefore a fortiori also closed under countable union of open sets.

Why do we require arbitrary union rather than just countable union?

What might be an example that would illustrate why we require arbitrary union? Or are they just equivalent when talking about unions of sets?

The most similar question I've found to this one is regarding the validity of arbitrary union without assuming topology as prior.

Edit: This question was not addressed in answers given to a similar seeming post regarding finite intersection, rather than arbitrary or countable intersection.

• I looked at this. The answers given to that question do not address or resolve the above question. – Howerut Sep 12 '15 at 9:47

The concepts are not equivalent: Let $X$ be an uncountable set and say that a subset $U\subseteq X$ is open if $U=X$ or $U$ is countable (which includes finite or empty). That would be a "topology" in your modified sense, but not in the "traditional" sense.
• Another motivation is that the discrete topology on an uncountable set $X$ is generated by the one-point sets. We need arbitrary unions to be able to form $X$ as a union of one-point sets. – Patrick Stevens Sep 12 '15 at 10:09