稠密集

如果拓扑空间$X$中的一个点集$E$的闭包$\overline{E}$是$X$，我们就称$E$是$X$中的稠密集（dense set），例如，实数的通常拓扑下，有理数在实数中稠密。

假设同上，若$E$的闭包$\overline{E}$中没有内点，就称$E$是$X$中的无处稠密集（nowhere-dense set），有限至多可列个无处稠密集的并集，称为第一纲集（first-category set），此外的集合称为第二纲集（second-category set），详见纲。