数学上的封闭指的是运算的封闭比如实数经过有限次运算后得到的仍然是实数,我们说它是封闭的。
封闭性,即闭包 (数学)。数学中,若对某个集合的成员进行一种运算,生成的仍然是这个集合的成员,则该集合被称为在这个运算下闭合。 例如,实数在减法下闭合,但自然数不行:自然数3和7的减法3−7的结果不是自然数。类似的,一个集合被称为在某些运算的搜集下闭合,如果它在每个运算之下都闭合。
一个集合在某个运算悉培或某些运算的搜集下闭合被称为满足闭包性腔陆余质。闭包性质经常作为公理,通常叫做闭包公理。现代集合论通常这样定义:运算为在集合间的映射。所以向一个结构增加闭包性质作为公理是多余的,尽管它对于伍滚子集是否闭合的问题仍有意义。