Smooth manifold

A smooth $k$-manifold is a Hausdorff second-countable space locally homeomorphic to ${\mathbb{R}}^k$, equipped with smoothly compatible coordinate charts.