痩集合
X {\displaystyle X} の部分集合 A {\displaystyle A} が X {\displaystyle X} において補痩である (英語: comeager) または X {\displaystyle X} において残留的である (英語: residual) とは、その補集合 X ∖ A {\displaystyle X\setminus A} が X {\displaystyle X} において痩せていることをいう(ここでの接頭辞の "co" や "補" は "補有限" のような語における使われ方と同様である)。部分集合が X {\displaystyle X} において補痩であるのはそれが X {\displaystyle X} の部分集合で内部が稠密なものの可算交叉に等しいとき、かつそのときに限る。
非痩と補痩は全く異なる概念である。 X {\displaystyle X} 自身が痩せている場合、全ての部分集合は痩かつ補痩な集合だが、非痩ではない。 X {\displaystyle X} 自身が痩せていない場合、部分集合が痩かつ補痩となることはなく、補痩集合は全て非痩である。また、それ自身とその補集合が共に補痩でなく非痩である集合も存在しうる。
用語の補足点として、位相空間 X {\displaystyle X} の部分集合 A {\displaystyle A} に X {\displaystyle X} からの相対位相を考える場合、それが痩空間であるかどうかを考えることができる。