的 formula_21 的结构。设 formula_27 和 formula_28 分别是在 formula_2 和 formula_3 中为真的 formula_21-句子的集合(称为它们的“基本图”)。那么上述条件 (2) 等价于陈述塔斯基-沃特测试是给定一对 formula_33，确定 formula_2 是否是 formula_3 的基本子结构的非常有用的必要和充分条件。