Definition:Closed Smooth Path (Complex Analysis)