QUOTE(LPTB @ May 1 2003 - 10:49 AM)
QUOTE
Actually Real numbers are a subset of Complex numbers for which the Imaginary part is zero.
true
QUOTE
Therefore there is a definition of modulus for Real numbers which isn't congruence. It is the definition of complex modulus.
Incorrect, this only makes sense when talking about the Reals as a SUBSET of C not as a field by itself. R as a field has no definition for modulus; this thread started with foobar formatting and given foobar does not (yet) incorporate complex numbers it makes no sense to talk about modulus as an absolute value.
"yet"

while I agree that this has gone off topic with respect to foobar itself I would continue to disagree with you about modulus

. hopefully we will be allowed to continue to debate without reprisal/topic closing from the moderators!
I think it makes perfect sense to talk about modulus as an absolute value of a Real number. It is a function mapping a
single Complex number to a single Real number. It is valid for the whole set/field of Complex numbers. As you have already acknowledged, Real numbers are a subset of Complex numbers. Therefore the function modulus is valid for the whole set/field of Real numbers.
The function modulus (in the remainder sense) is a function mapping
two numbers (supposedly integers but people liberally use it on Reals as well) to a
single number.
As I said earlier, the context of the use of the word modulus is usually sufficient to tell which of the two definitions is pertinent. ie "modulus of x" = abs(x), "x modulus y" = remainder(x/y)
QUOTE
You can define your own meanings to any given function, so you could define $cat(x) to be e'th power of x, that's all nice and dandy but you would have to explain what $cat means first. Absolute value is defined for real numbers and is the function you reference.
I could equally say that Remainder is defined for (integer) division and it is the same as the function $mod(x,y) used in foobar. This wouldn't invalidate the use of the word Modulus to describe the function, I would just be saying "I have another word for that".