previous up next
Go backward to Logic Evaluator
Go up to Top
Go forward to Quotient and Remainder
RISC-Linz logo


Definition: z is a difference of x and y if x = y+z.

x - y := such z: x = z+y.

Author: Wolfgang Schreiner
Last Modification: November 16, 1999

previous up next