一类试图通过邻接元素来取整一个域并简化其理论的过程。
另请参见
模型完成
与Wolfram一起探索| Alpha
工具书类
曼德斯，K.L。“领域扩展与数学哲学”J.菲洛斯。 86, 553-562, 1989.引用的关于Wolfram | Alpha
存在闭包
引用如下：
埃里克·魏斯坦（Eric W.Weisstein）。“存在终结。”发件人数学世界--Wolfram Web资源。https://mathworld.wolfram.com/ExistentialClosure.html
主题分类
