$F_\sigma$-集合とは、閉集合の可算合併で表されるような集合のことである。
位相空間$X$の部分集合$A$が$F_\sigma$-集合であるとは、可算個の閉集合 $F_1, \ldots, F_n$が存在して$A = \bigcup_{i \in \mathbb{N}} F_i$が成り立つことをいう。
G_δ-集合についても参照されたい。
