質問なのですが、m次元実ベクトル空間の部分集合Xからn次元実ベクトル空間の部分集合Yへの写像
    f:X→Y
がC^r級写像だったとき、定義域をXの部分集合Uに制限した写像
    f|X∩U
もC^r級になるのでしょうか?
回答よろしくお願いします。