Open English Wordnet

(n)subtraction, minusan arithmetic operation in which the difference between two numbers is calculated“the subtraction of three from four leaves one”, “four minus three equals one”