2.6.1.2 H域
　　H域的定义：
　　设S为给定公式G的子句集，定义在论域D上，
　　H₀为S中的常量集。如果S中没有常量，H₀由任意单个常量构成，如{a}，
　　H_i+1= H_i∪{f^m(t₁, t₂, …t_n)}, i=0, 1, …
　　其中，f^m为S中出现的所有函数符号的集合，t₁, t₂, …t_n为H_i-1的元素，i＝1，2, …
　　则规定H_∞称为G的H域（或说是相应的子句集S的H域）。