代理变量常用于线性回归模型，目的是消除潜在的混杂偏差。在本文中，我们形式化了潜在结果框架内的代理变量，给出了可以证明因果效应是非参数识别的条件。我们描述了两种类型的代理变量，并给出了具体的例子，其中引入的代理条件可以通过设计来保持。