Ein Atlas ist eine Menge von Karten für eine Mannigfaltigkeit.
Definition:
Es sei M eine topologische Mannigfaltigkeit. Eine Menge
heißt CkAtlas für M, wenn gilt:

ist der Kartenwechsel
differenzierbar von der Klasse Ck.Eine Karte
heißt mit dem Atlas
verträglich, wenn
auch ein Ck-Atlas ist. Der Begriff der Verträglichkeit lässt sich auch für Mengen von Karten erweitern. Eine Menge K von Karten heißt also verträglich mit
, wenn ebenfalls
ein Ck-Atlas ist.