最上位の出所を採る規則は、定義を一意に決める

出所の有限集合 $\Sigma$ に全順序（優先度）が定められ、各出所 $\sigma$ は、名前から定義への部分写像 $\mathrm{def}_\sigma$ を与えるとする。名前 $\nu$ を定義する出所の集合 $\Sigma_\nu = \{\sigma : \mathrm{def}_\sigma(\nu) \text{ が定義されている}\}$ が空でないとき、「$\Sigma_\nu$ の中で優先度が最大の出所 $\sigma^{\ast}$ の定義 $\mathrm{def}_{\sigma^{\ast}}(\nu)$ を採る」という規則は、採用される定義を一意に決める。採用された定義は、ただ 1 つの出所の定義にそのまま等しい。