Definition:Topological Manifold/Smooth Manifold

Definition
Let $M$ be a second-countable locally Euclidean space of dimension $d$.

Let $\mathscr F$ be a smooth differentiable structure on $M$.

Then $\struct {M, \mathscr F}$ is called a smooth manifold of dimension $d$.

Also see

 * Differentiable Manifold