Après discussion avec un de mes collègues, c'est uniquement parce qu'on peut parler d'algèbre généralisée (surtout en informatique théorique) comme une structure composée d'un ensemble et de deux opérations internes. Le reste est en plus.
C'est dans ce sens où Boole a utilisé le terme algèbre.
@pseudocode tu remarqueras que je n'ai pas parlé d'anneau dans mon message d'origine ou celui qui suit. A fortiori donc, je n'ai pas parlé d'isomorphisme d'anneau.
Donc on a un isomorphisme de structure algébrique. CE qui sous-entend que les ensembles, l'intersection et l'union ne forme pas un anneau non plus. Il n'y a pas d'opposé dans l'union je te ferais remarqué.
Partager