Esatto  <!-- s:D --><img src="{SMILIES_PATH}/icon_biggrin.gif" alt=":D" title="Very Happy" /><!-- s:D -->

Importante è osservare che per dimostrare la chiusura rispetto ad una certa operazione occorre fare una dimostrazione con delle &quot;variabili generiche&quot;, mentre per dimostrare la non chiusura basta trovare un singolo esempio in cui non funziona.