Let $X$ and $Y$ be [[Topological Space|topological spaces]], then the **compact-open** topology