部分多様体
以下では多様体といえば C 級可微分多様体 (r ≥ 1) のことであると仮定する。