a converter from P2Set to MemLocP2Set