Continuous function (topology)#Closeness relation definition