決定打ありがとうございます。
辞書順と言うことはすなわち
　Rule1：msとms2で「格納している最小の要素」が大きい方を大きいとする。
　Rule2：最小の要素が等しい場合は、それを除いてもうRule1を適用する。
　Rule3：Rule2により要素が無くなったら、無くなった方が小さいとする。
ということですね。なんか変な定義ですねぇ。。。
ですが
ms.insert(Set(2, 1.0));
ms.insert(Set(1, 3.0));
ms.insert(Set(2, 5.0));
ms.insert(Set(2, 7.0));
と
ms2.insert(Set(2, 1.0));
ms2.insert(Set(1, 3.0));
ms2.insert(Set(2, 5.0));
ms2.insert(Set(2, 7.0));
ms2.insert(Set(2, 9.0));
とではms<ms2になるらしいですしやっぱりこういうことですよね。
ありがとうございました。