第一类

A类子集 的拓扑空间 据说是如果可以写为可数的 联盟的子集无处稠密的在里面,即，如果可以用联合来表达

其中每个子集没有密集的地方.

非正式地，人们认为第一类子集是主机空间的“小”子集，实际上，第一类集合有时被称为瘦套或少套。不属于第一类的集合为第二类别.

应在上述“类别”概念和范畴理论的确，首先第二类集合独立于范畴理论。

这个有理数属于第一类无理数属于第二类别在里面使用常规拓扑。通常，主机空间及其拓扑结构起着基础性的作用确定类别的角色。例如，集合具有继承自的子集拓扑的整数是（真空地）第二类相对于自身，因为是打开在里面关于该拓扑；另一方面，是中的第一类标准拓扑和子集拓扑由继承从同样康托集合是一拜尔空间（即，其每个开放集都是第二类相对于它）即使它是间隔中的第一类使用常规拓扑。

贝尔范畴定理,微薄集,无处密集,非贫乏设置,残差集,第二类别