痩集合
疎集合は閉とは限らないが、閉疎集合の部分集合にはなる(特に、疎集合の閉包は閉疎集合である)。痩集合は F σ {\displaystyle F_{\sigma }} 集合 (閉集合の可算和) そのものであるとは限らないが、痩集合の構成因子の各疎集合の閉包を取ってから和を考えれば、痩せた F σ {\displaystyle F_{\sigma }} 集合の部分集合となる。
双対的に、補疎集合は開集合とは限らないが、稠密な開核を持つ。補痩集合は G δ {\displaystyle G_{\delta }} 集合(開集合の可算交叉)そのものであるとは限らないが、稠密な開核の可算交叉を考えれば、補痩な G δ {\displaystyle G_{\delta }} 集合の上位集合となっていることが分かる。