Sur une propriété des ensembles

Le but de cette note est de démontrer le suivant: Pour qu'un ensemble de points (d'un espace euclidien à m dimensions) soit un ${\displaystyle F_{\sigma \delta }}$, il faut et il suffit qu'il soit la plus grande limite d'une suite d'ensembles fermés.