閉包

術語“閉包”在數學中有多種含義。

子集 的拓撲閉包是包含 的 的最小閉子集。

如果 是集合 上的二元關係，則 具有自反閉包、對稱閉包和傳遞閉包，每個閉包都是集合 上具有指定屬性幷包含 的最小關係。因此，給定集合 上的任何關係 ，總是存在集合 上包含 的最小等價關係。

對於關係的某些任意屬性 ，關係 可能沒有 -閉包，即，可能不存在集合 上具有屬性 幷包含 的最小關係。例如，通常情況下，關係不具有反對稱閉包。

在代數中，域 的代數閉包是一個域 ，可以說它是透過新增所有在 上代數的元素從 獲得的。