的外延是由函数的参数和值配对的有序对；换句话说，是这个函数的曲线图。抽象代数比如群中的对象（客体）的外延是这个对象的底层集合。集合的外延当然是这个集合自身了。集合可以捕获任何事物的外延的观念是公理化集合论中在外延公理背后的想法。这种外延经常用在基于集合论的当代的数学中，所以它可以叫做暗含的假定。它可以在不同的情况下意味着不同的事物，所以没有术语“外延”的普遍性定义。
计算机科学.在计算机科学中，有些数据库教科书使用术语“内涵”来称唿数据库的模式，使用“外延”来称唿一个数据库的特