Sur l'invariance de la notion d'ensemble ${\displaystyle F_{\sigma \delta }}$

L'objet de cette note est la démonstration du théorème suivant: Prémisse: A est un ensemble ${\displaystyle F_{\sigma \delta }}$, B est homéomorphe avec A. Thèse: B est un ensemble ${\displaystyle F_{\sigma \delta }}$.