ベール圏定理
開写像定理
逆写像定理
閉グラフ定理
すべて同値