f:R×R→R
f(a,b):=a+b

σ:R→R
σ(a+b):=c i.e. a+b=c