全順序

任意の実数x,yには必ず順序関係が定義されている。x≦y∨y≦x(完備律)また、加法は≦関係を保存する。0<x<y,0<z⇒x+z<y+z(加法律)すなわち、任意の大きな実数より大きな実数は常に創れる(実数は無限大に頭を押さえつけることはな...