入力されたワードを説明してください。
飽和集合
飽和集合（ほうわしゅうごう）は、数学（特に集合論や位相空間論の下位分野）において、集合 formula_1 と関数 formula_2 に対して、formula_1 が formula_4 の定義域 formula_5 の部分集合で、formula_4 が2点 formula_7 と formula_8 を同じ値に写すならば、formula_9 は formula_1 に属する（つまり、formula_11 ならば formula_12 である）とき、formula_1 は formula_4 について飽和的あるいは飽和している（saturated）という。より簡潔には、集合 formula_1 は formula_16 のとき、飽和しているという。
位相空間論において、位相空間 formula_17 の部分集合が formula_5 の開集合の交差に等しいときに、その部分集合は飽和しているという。T1空間では任意の集合が飽和している。