Definition:Complex Subtraction