[server] Define UserIdSet.