Talk:Compact-open topology

"where $X_i$ is a compact Hausdorff subset of $X$" — really? I never saw "Hausdorff set", only space... Boris Tsirelson (talk) 18:33, 28 December 2016 (CET)

That is what is in the original English text. I presume that the intended meaning is that $X_i$ is a subset of $X$ which is compact and Hausdorff with respect to the inherited topology. The wording "subspace" rather than "subset" might be clearer. The question of whether Hausdorff is a usual requirement in this situation is doubtful: Kelley for example does not include this. Richard Pinch (talk) 18:52, 28 December 2016 (CET)

Yes, I also feel the doubt: what for to require it? Boris Tsirelson (talk) 07:01, 29 December 2016 (CET)

It is also not mentioned in the article on Space of mappings, topological, so I propose to remove the word "Hausdorff". Richard Pinch (talk) 08:30, 29 December 2016 (CET).