>>110
すみません。
ただ、一見「(x+1)^3=x^3+3x^2+3x+1」という数の等式が、
函数(Im,Dom,G)の等式として書かれていることが頻繁にあるという
ことの確証がほしかっただけです。あと、展開公式がどっちにあたるのかを。

>>111
Imf=Img=R∧(∀f(x)=g(x))⇔f(x)=g(x)ってことですよね？
でも同値ではあっても＝ではないから、厳密言えばどっちかなと