PQ是两个非空集合 定义一种新运算