These properties may seem obvious (and you can use them without further justification when doing epsilon proofs), but they are closely tied to the real numbers, and there exist domains in which the properties fail (see Exercise 13.40 for an example).
These properties may seem obvious (and you can use them without further justification when doing epsilon proofs),but they are closely tied to the real numbers, and there exist domains in which the properties fail (see Exercise 13.40 for anexample).