在JavaScript中，闭包是由函数和其相关的引用环境组合而成的。当一个函数定义了内部函数，并将内部函数作为返回值时，内部函数便可以访问外部函数中的变量和参数。这是因为JavaScript中的作用域链机制，当函数执行时，会自动创建一个作用域链。作用域链由当前执行的函数作为第一个变量对象（VO），其次是父级函数的变量对象，一直延续到全局对象。内部函数查找变量时会沿着作用域链向上查找，直到找到为止。

具体来说，当函数定义时，会自动创建一个“执行环境”，包括函数的参数、局部变量、this等信息，同时还会创建一个与之关联的“变量对象（VO）”，用于维护变量的存储和访问。当函数执行时，会创建一个新的“活动对象（AO）”，并将其压入执行环境栈中。AO是VO的一个副本，用于记录当前函数执行期间的局部变量和参数的值。

当内部函数需要访问外部函数中的变量时，它会在作用域链中查找。“作用域链”的定义实际上是由当前函数的执行环境和所有父级执行环境的“变量对象”组成的一个链式结构。内部函数首先会查找自身的AO中是否存在该变量，如果存在则直接返回；如果不存在则会继续沿着作用域链向上查找，直到找到为止；如果一直找到全局作用域还没有找到，则返回undefined。

因此，利用函数的嵌套定义和作用域链机制，我们可以创建闭包，实现在函数内部访问外部变量的效果。