Comment by threatofrain

But did your analysis class define addition on the naturals? Then that's an operator for the naturals. And then for integers, rationals, etc.