"=>" a weak order on Ps