>>435
別に何でも良い。
性質でも、一般式でも。
定義は一つとは限らない。

でも、今回示した一般式は、確実に入るよね。
　(1+x)^y = Σ[k=0,∞]C(y,k)x^k
であることを認めてしまったら、あとは定義域を拡げるかどうかの二択しか存在しないと思う。