overdekking (topologie)

In de wiskunde is een overdekking van een verzameling X een collectie van verzamelingen zodat X een deelverzameling van de vereniging van verzamelingen in de collectie is. In symbolen: als

een geïndexeerde familie van verzamelingen U_a is, dan is C een overdekking van X als