Definition:Atlas/Maximal Atlas/Definition 2

Definition

Let $M$ be a topological space.

Let $A$ be a $d$-dimensional atlas of class $C^k$ of $M$.

$A$ is a maximal $C^k$-atlas if and only if $A$ contains all charts of $M$ that are $C^k$-compatible with $A$.