Defina una función suma para ser una función parcial $F$ a partir de secuencias infinitas de números reales a la extensión de los reales, tal que:
(1) las Secuencias que son cero en todo, pero posiblemente la posición de uno se le asigna el valor en esa posición.
(2) Si $F(X) = c$$F(Y) = d$, e $c$ $d$ no son opuestos infinitos, a continuación,$F(X+Y)= c+d$.
(3) $F(cX)$ = $cF(X)$ , para $c$ un número real.
(4) Si $X$ $Y$ son dos secuencias que $Y$ $X$ con la inserción de un plazo $y$, entonces cualquiera de las $F(X)$ $F(Y)$ son tanto indefinido o $F(X) + y = F(Y)$.
Hay un resumen de la función que está definida en todas las secuencias de los números reales?