n (mathematics) The operation of testing the equation of a problem, to see whether it truly expresses the conditions of the problem.