To be more precise, ValueSet is a SortedSet, with an Ordering based on the values' id, so toList works correctly. However map will yield a Set[(Box[Value], String)], which will not preserve the order.