No es mas facil poner que , antes que poner , conjunto de subindices.

O estoy mandando fruta?

No necesariamente el conjunto de indices es los naturales.

Pensá por ejemplo en el espacio vectorial de funciones de en . Tiene sentido definir como la función que vale 1 en x y 0 en todo otro real. El enunciado es l.i. para todo subconjunto es verdadero.

Si aclarás un poco más cual es el contexto te puedo explicar mejor.