Put , and let be inclusion. The transverse intersection theorem makes a smooth submanifold without boundary, with
It is compact because it is a closed subset of either compact input submanifold.
Write . On , consider the bundle map
Its kernel is , and it is onto because at every intersection point. Thus the normal bundle of a transverse intersection has the actual bundle isomorphism
Transfer the direct-sum complex structure through this isomorphism. This supplies a complex structure on the normal bundle itself, not merely after stabilization.
Geometrically, multiply the two classes by forming their external product in and pulling it back along the diagonal . The transversality hypothesis is precisely what makes the inverse image of under the submanifold . The normal bundle of this inverse image is the direct sum just calculated. Multiplication of the corresponding Thom classes agrees with the Thom class of this direct sum, so the complex cobordism product represented by transverse intersections is
If the inputs have complex normal ranks , the product has degree . If they are disjoint, the representative is empty and the product is zero.