在代数几何中，有理映射是定义在概形的稠密开集上的态射。有理映射及由此引生的双有理等价是古典代数几何学的主要对象。
定义.固定概形 formula_1。考虑所有的资料 formula_2，其中 formula_3 是稠密开集，而 formula_4 是态射；这些资料代表了 formula_5 上「部份定义」的态射，formula_5 代表 formula_7 的定义域。定义下述等价关系：此外，注意到稠密性保证 formula_9 也是 formula_10 中的稠密开集。当 fo