Description: The compact-open topology on a discrete set coincides with the product topology where all the factors are the same. (Contributed by Mario Carneiro, 19-Mar-2015) (Revised by Mario Carneiro, 12-Sep-2015)