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.