File Dirigée (Moore–Smith)

Une file dirigée (net de Moore–Smith) dans un espace X est une fonction x : D → X depuis un ensemble dirigé (D, ≤) vers X. Les files généralisent les suites en autorisant des ensembles d'indices dirigés arbitraires, ce qui permet de rendre compte de la convergence dans les espaces non première dénombrables.