rational mapping

kind of partial function between algebraic varieties