>>758

"閉"部分空間の定義は?