ompare with [@Fulton-MacPherson (\*) on p.000] for $\bH$ the bivariant homology in case $k=\bC$. For $\bH=CH$ the bivariant Chow group and $k$ of any characteristic, this follows from [@Fulton-book Theorem 00.0]