Given a differentiable atlas on a topological space, one says that a chart is differentiably compatible with the atlas, or differentiable relative to the given atlas, if the inclusion of the chart into the collection of charts comprising the given differentiable atlas results in a differentiable atlas. A differentiable atlas determines a maximal differentiable atlas, consisting of all charts which are differentiably compatible with the given atlas. A maximal atlas is always very large. For instance, given any chart in a maximal atlas, its restriction to an arbitrary open subset of its domain will also be contained in the maximal atlas. A maximal smooth atlas is also known as a smooth structure; a maximal holomorphic atlas is also known as a complex structure.