Définition et propriétés des ensembles ouverts et fermés