##  [File Dirigée (Moore–Smith)](/fr/node/62147) 

  ##  [File Dirigée (Moore–Smith)](https://puremath.quantumdictionary.io/fr/node/62148) 

  

 [![Pure Mathematics Dictionary](/sites/default/files/styles/large/public/2026-01/Pure%20Mathematics.png.webp?itok=5pZnFQ59)](/topic-specific-dictionaries/mathematics-logic/pure-mathematics)

- Mathematics & Logic -

**Pure Mathematics Dictionary**

 







 

 

 

 



 

 

 

 

Définition

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.