2propriétés voisinages intersection + filtre
5pp ouvert union intersection
6pp fermé union intersection
9caractérisation adhérence
12caractérisation intérieur
14def topologique continuité de f sur en a
15caractérisation topologique de la continuité
17def uc pour f de A dans F
19caractérisation séquentielle de UC