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