1. The two outputs q (quotient) and r (remainder) should satisfy the property A = q X B + r, and
2. The remainder r should be less than the divisor B,
0 < r < B
Combining these requirements, we will specify the desired input-output relation as –
outputs: A = q X B + r and 0 < r < B.