闭包的正式定义是一个函数可以访问并操作在其词法环境之外的变量的能力。它是一种函数和其相关引用环境的组合体。闭包可以在代码中被传递和使用，使得函数可以访问并操作函数外部的变量。

闭包的定义不取决于编程语言，而是一种通用的概念。不同的编程语言可能在闭包的实现方式上有所不同，但它们都遵循闭包的核心概念。

下面是一个JavaScript的代码示例，展示了闭包的使用：

function outerFunction() {
  let outerVariable = 'Hello';

  function innerFunction() {
    console.log(outerVariable);
  }

  return innerFunction;
}

let closure = outerFunction();
closure(); // 输出：Hello

在这个示例中，outerFunction是一个外部函数，它定义了一个局部变量outerVariable。内部函数innerFunction可以访问和使用外部函数的变量outerVariable，这就形成了一个闭包。在调用outerFunction后，将返回内部函数innerFunction并赋值给变量closure。当调用closure时，它仍然可以访问外部函数的变量outerVariable，并将其输出为Hello。

这个例子中展示了JavaScript中闭包的基本用法，但其他编程语言也可以有类似的闭包概念和用法。