部分多様体
部分多様体（）とは多様体 "M" の部分集合 "S" であって、それ自体も多様体構造を持つものを指す。このとき、包含写像 "i": "S" → "M" の性質によって、部分多様体はいくつかの種類に分けられる。