*Definition [#def66665]
Let U be a subset family of a topological space. If U is a countable union of a discrete subsets, then U is called σ-discrete.