Definition (Lindëlof)

A Lindëlof space is a Topological Space in which every Open cover has a countable subcover.