闭包

术语“闭包”在数学中有多种含义。

子集 的拓扑闭包是包含 的 的最小闭子集。

如果 是集合 上的二元关系，则 具有自反闭包、对称闭包和传递闭包，每个闭包都是集合 上具有指定属性并包含 的最小关系。因此，给定集合 上的任何关系 ，总是存在集合 上包含 的最小等价关系。

对于关系的某些任意属性 ，关系 可能没有 -闭包，即，可能不存在集合 上具有属性 并包含 的最小关系。例如，通常情况下，关系不具有反对称闭包。

在代数中，域 的代数闭包是一个域 ，可以说它是通过添加所有在 上代数的元素从 获得的。