有限域上一个公式的可满足性和普遍有效性依赖于个体域个体的个数且仅依赖于个体域个体数目。即在某个含k个元素的k个体域上普遍有效(或可满足),则在任一k个体域上也普遍有效(或可满足)。
如果某公式在k个体域上普遍有效,则在k-1个体域上也普遍有效。
如果某公式在k个体域上可满足, 则在k + 1个体域上也可满足。