数学の位相空間論において、痩集合 (やせしゅうごう、そうしゅうごう、英語: meager set)または第一類集合 (英語: set of the first category) とは位相空間の部分集合であって下記の厳密な意味において小さいまたは無視可能(英語版)なものである。痩集合でない集合は痩せていない (英語:
冪集合(べきしゅうごう、英: power set)とは、数学において、与えられた集合から、その部分集合の全体として新たに作り出される集合のことである。べきは冪乗の冪(べき)と同じもので、冪集合と書くのが正確だが、一部分をとった略字として巾集合とも書かれる。 集合
疎集合
の部分空間として考えられた場合には疎集合であるが、別の位相空間 Y の部分空間として考えられた場合にはそうはならない、ということが起こりうる。疎集合は、それ自身においては常に稠密である。 疎集合のすべての部分集合はまた疎集合であり、有限個の疎集合の合併もまた疎集合である。すなわち、疎
和集合
}^{\infty }(m,m+1]} が成り立つ。 集合 X {\displaystyle X} に対して, P ( X ) {\displaystyle {\mathcal {P}}(X)} を X {\displaystyle X} の冪(ベキ)集合とする.全体集合 U を固定し、∪∅ を考えると、定義により