在 词项的集合 的词项中，用两行 BNF 文法划出值． $⩴$ 读作“定义为”，$|$ 读作“或者”； nv 是元语言中表示数值的元变量，不属于对象语言的关键字．

形如 $𝑣$ 的词项称为值，形如 nv 的词项称为数值． 和 词项的集合 一样， 这两行 BNF 定义的是满足相应封闭条件的最小集合．