逆関数定理や合成写像の連続性など、連続写像の性質に関する分析