一、P(Y)的解释域 P(Y)的解释域是一个四元组(Up1293) 其中: (1)U是非空集,称为论域。 (2)q1是CU的函数。 n(3)q2是P(Y)上的函数词集合到U上运算 集的函数,使得φ2(E)=fn这里fn是U 上的n元运算。 (4)3是P(Y)上的谓词集合到U上关系集 的函数,使得q3(R)=R'm,这里R'n是U 上的n元关系。 一、P(Y)的解释域  P(Y)的解释域是一个四元组(U,1 ,2 ,3 )， 其中：  (1)U是非空集，称为论域。  (2)1是C→U的函数。  (3)2是P(Y)上的函数词集合到U上运算 集的函数，使得2 (fn i )=f'n i ，这里f'n i是U 上的n元运算。  (4)3是P(Y)上的谓词集合到U上关系集 的函数，使得3 (Rn i )=R'n i ，这里R'n i是U 上的n元关系