Description: Define subtraction. Theorem subval shows its value (and describes how this definition works), Theorem subaddi relates it to addition, and Theorems subcli and resubcli prove its closure laws. (Contributed by NM, 26-Nov-1994)