when check 2 p2sets' equality, first check their sizes