定義
A を位相空間の部分集合とする。

A の各点 x ∈ A に対して x の(開集合とは限らない)近傍 V が存在し、
A ∩ V が V の閉集合となるとき A を局所閉集合と言う。