F_σ-мно́жество (множество типа F_σ), подмножество $D$ топологического пространства $X$, являющееся объединением счётного семейства замкнутых множеств, т. е. такое, что $$D=\bigcup_{n=1}^\infty F_n$$для некоторых замкнутых в $X$ множеств $F_1, F_2, \ldots$ .