matt grime
Science Advisor
Homework Helper
- 9,361
- 6
Of course, without any restrictions on the interaction of the operations +,* etc, then I'm also free to declare that S=Q, and D=Qu{T}, where T is some symbol such that x/0 is defined to be T for all x (including 0) As I don't need to define an arithmetic involving T this is ok. Of course we run into problems such as what is a*b*c (note i'll pretend x*y is the same as x/y) when b*c isn't a strid number (and hence what is a*(b*c)?) but a*b is, so that (a*b)*c is allowed, even though it is "strid defined" only.