除法是乘法的逆运算。运算是一种对应法则。设A是一个非空***，对于A中的任意两个元素a、b，根据某种法则使A中有较早确定的元素c与它们对应，我们就说这个法则是A中的一种运算。这样，给了A的任意两个元素a和b，通过所给的运算，可以得到一个结果C。反过来，如果已知元素c，以及元素a、b中的一个，按照某种法则，可以得到另一个元素，这样的法则也定义了一种运算，这样的运算叫做原来运算的逆运算。