Dans cette définition, on a supposé l'espace topologique séparé. On peut justifier un tel choix par le fait que dans un espace séparé, si une suite d'éléments de cet espace converge alors ...