Un atlas de clase "C", "r" ≥ 0, sobre "X" es una colección de pares (llamados cartas) ("U", "φ"), "i" ∈ "I", tales que