ハウスドルフ空間
ここで、ハウスドルフ空間 X とその上で定義された同型な解析空間の構造の類との組を解析空間（analytic space）と呼ぶ。