Definition:Index Variable of Indexed Product