manifold with boundary

topological space locally isomorphic to either Euclidean space or to Euclidean half-space