 Manifold with boundary

A smooth manifold with boundary has charts in the half-space $\{x_n\ge 0\}\subseteq {\mathbb{R}}^n$, with smoothly compatible transition maps. The boundary is the locus modeled on $x_n=0$.