Jabarkan Peta birasional dari Geometri birasional

Peta birasional dari  X  ke  Y  adalah peta rasional f: X ⇢ Y sedemikian rupa sehingga ada peta rasional  Y  ⇢  X  terbalik dengan  f . Peta birasional menginduksi isomorfisme dari subset terbuka tidak kosong dari  X  ke subset terbuka tidak kosong dari Y.

Kasus khusus adalah morfisme birasional f: X → Y, berarti morfisme yang birasional. Artinya,  f  didefinisikan di mana-mana, tetapi kebalikannya mungkin tidak. Biasanya, ini terjadi karena morfisme birasional mengontrak beberapa subvarietas  X  untuk ditunjukkan Y.