 Let be an irreducible component of the set-theoretic intersection and its generic point.The multiplicity of in the intersection product is defined by

the alternating sum over the length over the local ring of in of torsion groups of the factor rings corresponding to the subvarieties.This expression is sometimes referred to as "Serre's Tor-formula".