ricoprimento
ricoprimento di un sottoinsieme A di uno spazio topologico E, è una famiglia F = {Bα} di sottoinsiemi la cui unione contiene A: in simboli,
Un ricoprimento si dice aperto se è costituito da insiemi aperti; si dice finito se è costituito da un numero finito di insiemi; si dice localmente finito se per ogni punto x di A esiste un aperto contenente x tale che è finita la famiglia degli insiemi del ricoprimento che hanno intersezione non vuota con l’aperto stesso (→ compattezza).