subtraction
discount, price reduction
deductive reasoning, synthesis
entailment, implication
discount
tax deduction, tax write-off
