A rational map is a function between algebraic varieties that can be expressed as a quotient of polynomial functions, defined wherever the denominator is non-zero. These maps are fundamental in algebraic geometry as they generalize the notion of morphisms between varieties, allowing for a broader class of transformations that include birational equivalences.