In the definition of covering map is one to take the "disjoint union" of open sets to literally be or is one to assume that the class of open sets is merely pairwise disjoint?
In the definition of covering map is one to take the "disjoint union" of open sets to literally be or is one to assume that the class of open sets is merely pairwise disjoint?