Definition. Smooth k-dimensional manifold atlas [0096]

A smooth k-dimensional manifold atlas for a set is an arbitrary collection of bijections with the following properties.

1. The domains cover
2. for all , is open in ,

3. for all , and are open in and

   is a diffeomorphism.

We call the elements of the atlas charts.