A topological $m$-dimensional manifold with boundary is a topological space $M$ such that
- for all $p \in M$, there exists an open neighborhood $U$ of $p$ homeomorphic to an open set in the closed half-space $H^m$;
- $M$ is Hausdorff;
- $M$ is second-countable.
Wikidata ID: Q203920