Hallo,
wir bilden die gegebenen Feldindizes (als n-Tupel der Form (k_1, ... , k_n)) auf Speicheradressen des Feldes ab. Diese Speicheradressen beginnen bei a. Die erste adressierbare Speicheradresse des Feldes ist also a. Die zweite wäre a+1, die dritte a+2 usw... Unsere Wertemenge, auf die wir abbilden beinhaltet also alle Speicheradressen von (a) bis (a + product(s_i) - 1). Unser letztes Element in der Wertemenge ist eben diese letzte Speicheradresse des Feldes, die durch den Ausdruck (a + product(s_i) - 1) berechnet wird.
Also die Wertemenge genauer dargestellt wäre: {a, a+1, a+2, a+3, ..., a + product(s_i) - 1}.
Ich hoffe das es jetzt klarer ist, was mit der Wertemenge gemeint ist.
Viele Grüße