如果国民x是代表,国民y不是代表的人,必须满足 Px<PyP_x < P_yPx<Py 且 Qx<QyQ_x < Q_yQx<Qy 。
如果国民x是代表,国民y不是代表的人,必须满足 $P_x < P_y$ 且 $Q_x < Q_y$ 。