>>601
>離散空間
定義は?