有理関数体の定義と構成条件