topologically stratified space
topological space equipped with a filtration such that the qutoients (“strata”) are sufficiently manifold-like
manifold with boundary
topological space locally isomorphic to either Euclidean space or to Euclidean half-space