Struttura che generalizza i gruppi finiti e i gruppi abeliani

Ok, tu mi hai detto che l operazione binaria non essendo chiusa non soddisfa nemmeno il requisito di essere "sottostruttura", quindi non è nemmeno un operazione binaria, è corretto ?

Non è un’operazione binaria interna, poiché non dà sempre risultati “buoni”.

Quindi con che cosa ci troviamo a che fare ?

Con nulla di sensato.