let equiv = PSet.equal