localement fini
прилагательное
—
(Topologie) Se dit d'une partie A d'un espace topologique telle que chaque point admet un voisinage qui intersecte A en un ensemble fini.
⋄ Les zéros d'une fonction holomorphe forment un ensemble localement fini.
—
(Topologie) Se dit d'une famille U de parties telle que tout point appartient à un nombre fini de parties de U.
⋄ Recouvrement localement fini