>>482
f(x), g(x)は連続関数である
f(x)が点0の近傍(0, ε_f)で同値類の代表元a(x)に一致する
g(x)が点0の近傍(0, ε_g)で代表元b(x)に一致する
ならば
h(x) = f(x) + g(x)は連続関数で点0の近傍(0, ε_h)でa(x) + b(x)に一致する