 Rational equivalence

Rational equivalence is generated by principal divisors $[\mathrm{div}(r)]$ of nonzero rational functions on integral subvarieties one dimension larger than the cycles.