コンパクト空間
数学において、コンパクト（, ）は位相空間の性質であり、formula_1上の有界閉集合が満たす性質を抽象化する事により定義される。なおブルバキでは、本項でいうコンパクトを準コンパクト（）と呼び、準コンパクトでハウスドルフの分離公理を満たすものをコンパクトであると呼んでいるので注意が必要である。位相空間の部分集合に対し、のにおける閉包がコンパクトであるときはで相対コンパクト（）であるという。