数学において、与えられた集合がある演算あるいは特定の性質を満たす関係について閉じている (closed) あるいはその演算がその集合上で閉性(へいせい、: closure property; 包性)を持つとは、その集合の元に対して演算を施した結果がふたたびもとの集合に属することを言う。複数の演算からなる集まりが与えられた場合も、それら演算の族に関して閉じているとは、それが個々の演算すべてに関して閉じていることを言う。

閉包

編集

集合上に必ずしも閉じていない演算あるいは関係および性質が与えられたとき、もとの集合を拡大して得られる適当な集合上で演算が閉じるようにすることができる。任意の性質 P二項関係 R が与えられたとき、性質 P を満たし R を含む最小の関係を RP-閉包あるいは P-包と呼ぶ。