Definition. maximal atlas [009A]

There is a partial order on atlases of a set given by inclusion. We say that an atlas is maximal if it is maximal with respect to this partial order.

TODO: show that this is welldefined.