Definition:Lindelöf Space

Definition
A topological space $T = \struct {S, \tau}$ is a Lindelöf space every open cover of $S$ has a countable subcover.

Also see
Some sources classify this as a countability property.

Other sources treat it as a compactness property.