海伯倫域

設謂詞公式G的子句集為S，則按下述方法構造的個體變元域H稱為公式G或子句集S的海伯倫域(Herbrand域，簡稱H域)：(1)令H0是S中所出現的常量的集合。若S中沒有常量出現，就任取一個常量a∈D，規定H0=a。(2)令Hi+1=Hi∪{S中所有的形如f(t1,...,tn)的元素)，其中f(t1,...,tn)是出現於G中的任一函數符號，而t1,...,tn是Hi中的元素。i=0，1，2，…。