このサイトけっこう（数学関係のサイトとしてではないけど）有名みたいなんだけど
ttp://ufcpp.net/study/set/map.html#ordered
ここの順序対の定義が間違ってる { x , { x , y } } になってる