El conjunto formula_67 se denomina en este caso conjunto de "índices" (por lo que cada formula_72 se dice un "índice"), y la imagen de cualquier formula_72 por medio de esta función se representa por formula_74.