Definition Let S be a smooth surface in R3 with boundary C, and a vector field F(x,y,z)=F(P(x,y,z),Q(x,y,z),R(x,y,z)). Then, ∮CFdr=∬S(∇×F)⋅dS