Ricoprimento

In matematica, in particolare nella teoria degli insiemi, un ricoprimento o copertura di un insieme ${\displaystyle X}$ è una famiglia ${\displaystyle {\mathcal {F}}}$ di sottoinsiemi di ${\displaystyle X}$ tali che ${\displaystyle X}$ è contenuto nell'unione degli elementi di ${\displaystyle {\mathcal {F}}}$.

Un ricoprimento è finito se è costituito da un numero finito di insiemi. Un sottoricoprimento (o sottocopertura) di un ricoprimento ${\displaystyle {\mathcal {F}}}$ di ${\displaystyle X}$ è una sottofamiglia ${\displaystyle {\mathcal {G}}\subseteq {\mathcal {F}}}$ che è ancora un ricoprimento di ${\displaystyle X}$.

Un particolare tipo di ricoprimento è una partizione, ovvero un ricoprimento ${\displaystyle {\mathcal {F}}}$ tale che ogni coppia di elementi di ${\displaystyle {\mathcal {F}}}$ è disgiunta.