沈め込み
沈め込みは一般の位相多様体に対してもうまく定義される。位相多様体の沈め込みは連続な全射 f: M → N であってすべての p ∈ M に対して p における連続チャート ψ と f(p) における連続チャート φ が存在して写像 ψ ∘ f ∘ φ が R から R への射影に等しいことである。ここで m = dim(M) ≥ n = dim(N) である。