localement fini

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.
• Se dit d'une famille U de parties telle que tout point appartient à un nombre fini de parties de U.