数学

在数学中，数学概念的“外延”是这个概念所指定的集合。

例如，函数的外延是由函数的参数和值配对的有序对；换句话说，是这个函数的曲线图。抽象代数比如群中的对象（客体）的外延是这个对象的底层集合。集合的外延当然是这个集合自身了。集合可以捕获任何事物的外延的观念是公理化集合论中在外延公理背后的想法。

这种外延经常用在基于集合论的当代的数学中，所以它可以叫做暗含的假定。它可以在不同的情况下意味着不同的事物，所以没有术语“外延”的普遍性定义。

计算机科学

在计算机科学中，有些数据库教科书使用术语“内涵”来称呼数据库的模式，使用“外延”来称呼一个数据库的特定实例。

语义学

在哲学语义学或语言哲学中，一个概念或表达的“外延”是它所延伸到的或它所适用于的事物的集合，如果它是用一个单一的对象凭自身就能满足的那种概念或表达。这种概念和表达是“一元”（monodic）或“一位”（one-place）概念和表达。

形而上学蕴涵

在形而上学中有一个持续的争论，除了真实的、存在的事物，是否有不真实的或不存在的事物。如果有--就是说有着可能的但不真实的狗（某些不真实但可能的种类的狗），或不存在的人（比如福尔摩斯），那么这些事物也可以在在各种概念和表达的外延现。如果没有，就是只有存在的真实的事物可以在概念或表达的外延中。可能存在着只是可能但不真实的事物。(它们可能存在于另一个宇宙中，这些宇宙是其他的"可能世界"--是对真实世界的可能的替代者)。可能某些真实的事物是不存在的。(福尔摩斯好像是虚构人物的一个真实的例子；你可以认为柯南道尔能够发明很多其他人物，尽管他实际上只发明了福尔摩斯。)

对于不再存在的对象也有类似的问题。比如，术语"苏格拉底"的外延，好像是一个（目前）不存在的对象。自由逻辑尝试避免某些这种问题。

普通语义学

在普通语义学中一些基本公式严重的依赖于外延的计算/评估，超过了内涵。

参见

概念

外延性

外延公理

外延定义

免责声明：以上内容版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。感谢每一位辛勤著写的作者，感谢每一位的分享。