Definition. Canonical topology on set with atlas [009C]

There is a canonical topology on every set with a manifold atlas given as follows. The open sets are simply the domains of charts.

TODO: Show that this defines a topology.