GlobalIdSet: Can global ids be exchanged via MPI?

The documentation for IdSet only requires ==, != and < operators and a operator<< (to write to ostreams) for the IdType.

For the global id set, only would probably want to communicate ids with other processors (otherwise a local id would be enough), however from the type requirements it is not clear that this is actually allowed.