＋の定義って、<x,y→xよりy大きい数>であってる？
てか<>っているっけ？