[0FW]Sia I una famiglia infinita di indici e sia ai:Iβ[0,β] una successione generalizzata, definiamo la somma βiβIai come
dove Pf(I) lβinsieme dei sottoinsiemi finiti KβI.