 In other words,

If "y" in "Y" and "f" −1("y") is a finite set, the degree of "f" can be computed by considering the "m"-th local homology groups of "X" at each point in "f" −1("y").In the language of differential topology, the degree of a smooth map can be defined as follows