摘要： 在数学中，一个集合被称为在某个运算下闭合，如果在这个集合的成员上的运算生成这个集合的成员。例如，实数在减法下闭合，但自然数不行: 自然数 3 和 7 的减法 3 - 7 的结果不是自然数。 类似的，一个集合被称为在某些运算的搜集下闭合，如果它单独的闭合在每个运算之下。 一个集合闭合在某个运算或某些运算的搜集下被称为满足闭包性质。闭包性质经常作为公理，通常叫做闭包公理。注意现代集合论定义通常定义运算... 阅读全文