Atlas

Definition: Atlas

Let \(M\) be an \(n\)-[[Manifolds|manifold]].

An atlas for \(M\) is a [[../../../Set Theory/Collections|collection]] of [[index|charts]] whose [[index|coordinate domains]] [[index|cover]] \(M\).

Definition: Maximal Atlas

An [[Atlases|atlas]] is maximal iff it is not a [[../../../Set Theory/Collections|subcollection]] of another [[Atlases|atlas]].