6.  Il Teorema Generale di Associatività

 

Sia  un simbolo di operazione. Allora, quando scriviamo, ad esempio,

,

è importante tener presente questo aspetto:

la scrittura sottintende che si debbano effettuare i “calcoli” nell’ordine in cui si presentano, ovvero:

 

 

 

Si può però dimostrare il cosiddetto “Teorema Generale di Associatività”.

 

Esso afferma che:

se  è associativa, cioè tale che     (supporto)

allora in un “calcolo” del tipo  

è possibile “associare” a piacere due o più operandi consecutivi qualsiasi (senza mutarne l’ordine),               e il risultato dell’espressione non cambierà: ossia

 

In breve: se un’operazione gode della proprietà associativa, essa gode senz’altro anche della “associativa generalizzata”.