Copertura (mathematica)
In mathematica, un copertura de un insimul  es un collection  de subinsimules de  de qui le union es . In symbolos, si  es un familia  de subinsimules de , tunc  es un copertura, si:

Plus generalmente, si  es un subinsimul de , e  es un collection de subinsimules  de , de qui le union contine , ergo  es un copertura de . Ergo,  es un copertura de  si:

 

Coperturas es communmente usate in le contexto de topologia. Si le insimul  es un spatio topologic, on dice que  es un copertura aperte si cata uno de su membros es un insimul aperte (a saper cata  es continite in , ubi  es le topologia de ).

Si  es un copertura de , tunc un subcopertura de  es un subinsimul de  que totevia coperi .

Topologia
Theoria de insimules