前提とか を級多様体、とする。この写像はから派生した空間の元とから派生した空間の元との対応を誘導することがあって、側からへの誘導を押し出し、その逆を引き戻しとよぶ。の押し出しは、の引き戻しはのようにかく。 はとりあえず級を仮定しておく。微分同相まであると定義した押し出し/引き戻しの逆写像がとれることがあって、それも引き戻し/押し出しと呼んでいいっぽい。あと、出てくる関数とかベクトル場とかは基本的に級を仮定する。 関数の引き戻し 押し出し/引き戻しのもっとも簡単な例は多様体上の関数の引き戻しである。つまり、上の関数 (上の級関数全体の空間の元ともいえる) を引き戻しての元 を定義する。やり方は明…