Definition:Finite Discontinuity