このように一般に代数多様体として同一視できない(正則同型でない)2つの代数多様体が、同型な関数体を持つときがあるが、このとき、2つの代数多様体は双有理同値であるという。