Definition:Indexed Product