。简要的说，一个集合的闭包满足闭包性质。
闭包集合.如果对一个集合的成员进行某种运算时，返回值总是这个集合的成员，那么称这个集合在这种运算下闭合。有时会明确要求运算的返回值位于某个集合中，在这种情况下它叫做闭包公理。例如，例如，群被定义为满足一些公理的带有一个二元运算的一个集合，包括了群的任何两个元素的结合再次是一个元素的公理。但是现代的运算定义使这个公理多余了，在 "S" 上 n 元算子只是 "S" 的子集。通过这种定义，在一个集合上的算子不能有在这个集合之外的值。虽然如此，