The doc of set().pop() should say *the 1st element* instead of *an arbitrary element*

The doc of set().pop() should say *the 1st element* instead of *an arbitrary element* #9136