An alternative but equivalent definition, avoiding the direct use of maximal atlases, is to consider equivalence classes of differentiable atlases, in which two differentiable atlases are considered equivalent if every chart of one atlas is differentiably compatible with the other atlas. Informally, what this means is that in dealing with a smooth manifold, one can work with a single differentiable atlas, consisting of only a few charts, with the implicit understanding that many other charts and differentiable atlases are equally legitimate.