减法的性质是什么,给个公式(用a\b\c)表示.