このときは実数体の閉部分集合である事が知られているh13。