Ensemble fermé.

Toute intersection de fermés est un fermé. Toute réunion finie de fermés est un fermé. Tout produit (fini ou infini) de fermés est un fermé. Une partie A d'un espace topologique est fermée si et seulement si .