このとき、"x" と "y" は双有理(birational)もしくは双有理同値(birationally equivalent)と言う。