“验算”是数学用语，意思是题目计算好之后，通过逆运算演算一遍，检验以前运算的结果是否正确。比如：减法算题用加法，加法算题用减法，除法算题用乘法，乘法算题用除法，验算能够有效来地检查出计算过程中出现的错误，但对解题思维上的错误无太大用处，通过验算所得的数据与原数据比较来建议运算是否正确。

逆运算是一种对应法则。假设A是一个非空集合，对A中的任意两个元素a和b，根据某种法则使A中有唯一确定的元素c与它们对应，我们就说这个法则是A中的一种运算。反过来，如果已知元素c，以及元素a、b中的一个，按照某种法则，可以得到另一个元素，这样的法则也定义了一种运算，这样的运算叫做原来运算的逆运算。如减法是加法的逆运算。