 Then every open subset of the real line is a countable union of open intervals.Lindelöf's lemma is also known as the statement that every open cover in a second-countable space has a countable subcover (Kelley 1955