Lindelöf theorem

Lindelöf theorem

[′lin·də‚lef ‚thir·əm]
(mathematics)
The proposition that there is a countable subcover of each open cover of a subset of a space whose topology has a countable base.