存在封闭（existential closure），文学-语言文字-语义学-量化，一些无定成分受到存在量化约束的现象。最早由美国语言学家I.海姆提出。存在封闭分为句内和句外两种。其中句内的存在封闭发生在三分结构的核心范域。根据三分结构理论，带有量化词的句子的逻辑解读可以分成量化词、限定成分、核心域三部分，其中量化词所量化的对象进入限定部分，句子的其余部分则进入核心域。核心域上天然带有一个存在算子，使得域内的无定成分获得存在量化约束，从而解读为存在语义。这就是句内的存在封闭。比如下边例①的解读是图1，在存在封闭的作用下，核心域中的无定名词短语“a cat”获得存在义解读：①Every man saw a cat.（每个人都看见了一只猫。）图1 例①的树形图表达句外的存在封闭主要是为了解决跨句子回指无定成分的代词的语义，比如例②中的“it”（它），由于回指前句的无定名词短语“a restaurant”（一家餐馆），所以总是和先行词有同样的指称，海姆于是假设存在跨句子的存在封闭现象，也就是说，在篇章（text）层面的存在封闭。