 Subtraction was needed to find a totally defined term, namely \(1-x\),  that expresses the complement of \(x\). The term \(1+(-x)\), like \(-x\),  is only defined for \(x=0\) in Boole’s  partial-algebra. 