1) [adjectif] Se dit d'une partie `A` d'un espace topologique telle que chaque point admet un voisinage qui intersecte `A` en un ensemble fini. 2) Se dit d'une famille `U` de parties telle que tout point appartient à un nombre fini de parties de `U`.