Well-definedness of Addition and Multiplication on R