逆運算

逆運算是一種對應法則。假設A是一個非空集合，對A中的任意兩個元素a和b，根據某種法則使A中有唯一確定的元素c與它們對應，這個法則是A中的一種運算。反過來，如果已知元素c，以及元素a、b中的一個，按照某種法則，可以得到另一個元素，這樣的法則也定義了一種運算，這樣的運算叫做原來運算的逆運算。如減法是加法的逆運算。