简述域演算表达式的一般形式和它的含义。
域演算表达式的一般形式为{t1……tK｜P(t1，……，tK)}。其含义为：这是一个域集合，其中每个域变量的取值关系满足公式P所规定的条件。
◎欢迎参与讨论，请在这里发表您的看法、交流您的观点。
