Підмноговид

Підмноговид ― термін, що використовується для декількох схожих понять в загальній топології і диференціальній геометрії і алгебричній геометрії.

Топологічні підмноговиди

У вузькому сенсі слова топологічний $n$-вимірний підмноговид $N$ топологічного $m$-вимірного многовида $M$ ― така підмножина $N\subset M$, що в індукованій топології є $n$-вимірним многовидом.

У широкому сенсі слова топологічним $n$-вимірний підмноговид топологічного $m$-вимірного многовиду $M$ ― такий $n$-вимірний многовид $N$, що як множина точок є підмножиною $M$ (іншими словами, $N$ ― це підмножина $M$, що оснащене структурою $n$-вимірного многовиду) і для якого тотожнє вкладення $i:N\to M$ є зануренням.