Correspondence (algebraic geometry)

In algebraic geometry, a correspondence between algebraic varieties V and W is a subset R of V×W, that is closed in the Zariski topology. In set theory, a subset of a Cartesian product of two sets is called a binary relation or correspondence; thus, a correspondence here is a relation that is defined by algebraic equations.