变数，举例来说：在codice_1中，codice_2为定义可达性，而在下列的范例中：codice_2 在 codice_4不再是定义可达性，因为codice_1使它不再可能被到达。
作为分析用途.定义可达性也可称为数据流分析，它静态的决定在程式码当中哪些定义可以被到达，由于他相当简单，它在教课书当中通常被使用作数据分析的经典范例。数据流汇流运算（data-flow confluence operator）则是使用联集，而他的分析则是正向流动。定义可达性被使用在计算UD链以