减法是加法的逆运算，实际上，加法和减法互为逆运算。

逆运算是一种对应法则。

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

反过来，如果已知元素c，以及元素a、b中的一个，按照某种法则，可以得到另一个元素，这样的法则也定义了一种运算，这样的运算叫做原来运算的逆运算。

如减法是加法的逆运算。