La definición anterior puede extenderse a potencias infinitas donde formula_2 puede ser un número ordinal (teoría de conjuntos) cualquiera, no necesariamente finito.