Si certo si può fare, però diciamo che forse il procedimento che dice salva evita quel passaggio in più: difatti mentre per $ o $ dovremo dare una,se pur veloce,dimostrazione dell'associatività, trasformandolo come ha detto salva, abbiamo un sistema in cui tutte quelle cose sono già note, e il tutto è molto più immediato: poi questo è solo come la penso io eh,quindi nn vuol dire niente
Ad ogni modo io l'ho messa proprio per questo: cioè mi sembrava interessante il modo in cui ci si può muovere più velocemente con proprietà di un operazione definita in un insieme(operazione e insieme apparentemente ignoti),trasformandoli in un insieme e un operazione analoghi che però conosciamo meglio: in questo senso dicevo metafora
poi forse sono io che mi suggestiono troppo...
Lo stolto è colui che dice quello che sa.Il saggio è colui che sa quello che dice.
"And then one day you find,ten years have got behind you,no one told when to run,you missed the starting gun"
