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