G_δ-мно́жество (множество типа G_δ), подмножество $A$ топологического пространства $X$, являющееся пересечением счётного семейства открытых множеств, т. е. такое, что $$A=\bigcap_{n=1}^\infty G_n$$для некоторых открытых в $X$ множеств $G_1, G_2, \ldots$ .