A finite-difference approximation with the property that the numerical solution tends to the exact solution of the differential equation as the grid length becomes small. See Lax equivalence theorem, consistent numerical scheme, stability.