Toute réunion d'ouverts est un ouvert.
Toute intersection finie d'ouverts est un ouvert.
Le vide et l'espace entier sont ouverts.