::闭包公理.formula_1的幂集formula_84上的一元运算formula_85（即将formula_1的子集A映射为formula_1的子集formula_88）称为闭包运算（像称为原像的闭包）。当且仅当运算formula_89满足下述的闭包公理：集合formula_19的闭包通常记为formula_44。从闭包出发定义其它概念：
开核公理.formula_1的幂集formula_84上的一元运算formula_108（即将formula_1的子集A映射为fo