 Briefly, two -dimensional cycles on a variety are rationally equivalent if there is a rational function on a -dimensional subvariety , i.e.an element of the function field or equivalently a function , such that , where is counted with multiplicities.Rational equivalence accomplishes the needs sketched above.