View source for Talk:Compact-open topology

"where $X_i$ is a compact Hausdorff subset of $X$" — really? I never saw "Hausdorff set", only space... [[User:Boris Tsirelson|Boris Tsirelson]] ([[User talk: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.  [[User:Richard Pinch|Richard Pinch]] ([[User talk:Richard Pinch|talk]]) 18:52, 28 December 2016 (CET)
::Yes, I also feel the doubt: what for to require it? [[User:Boris Tsirelson|Boris Tsirelson]] ([[User talk: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".  [[User:Richard Pinch|Richard Pinch]] ([[User talk:Richard Pinch|talk]]) 08:30, 29 December 2016 (CET).