数学において、与えられた集合がある演算あるいは特定の性質を満たす関係について閉じている (closed) あるいはその演算がその集合上で閉性(へいせい、英: closure property; 包性)を持つとは、その集合の元に対して演算を施した結果がふたたびもとの集合に属することを言う。複数の演算からなる集まりが与えられた場合も、それら演算の族に関して閉じているとは、それが個々の演算すべてに関して閉じていることを言う。
| この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。(2015年11月) |