Hausdorff space
局所凸ハウスドルフ空間 "X" と "X" の有界円板 "D" に対し、