小数点验算是利用商×除数=被除数来验算，也可以利用被除数÷商=除数来验算，验算是一个汉语词语，意思是算题算好以后，再通过逆运算（如减法算题用加法，除法算题用乘法）演算一遍。

逆运算是一种对应法则。假设A是一个非空集合，对A中的任意两个元素a和b，根据某种法则使A中有唯一确定的元素c与它们对应，就说这个法则是A中的一种运算。