終域 "y" がコンパクトであれば、チコノフの定理より、空間 "y""x" もコンパクトである。