$Def.$ di "struttura algebrica" più formale......

[garnak.olegovitc1]

Salve a tutti,
susatemi per la banalità della domanda , nei miei studi ho incontrato il concetto di struttura algebrica come un insieme presso cui è ovunque definita un'operazione interna o esterna binaria o n-aria.. mi domandavo, come semplice curiosità, però se esiste una def. un pò più formale, perchè dire "un insieme presso cui" è un pò informale se non troppo intuitivo, a mio parere....
Ringrazio anticipatamente!
Cordiali saluti

[maurer]

Se vogliamo usare quel linguaggio, allora non serve chiedere che [tex]I[/tex] sia discreta, così hai automaticamente le "famiglie dirette", "famiglie inverse" ecc. O ma lo sai bene quanto me, inutile che lo dica.