Conjunto A dotado de dos leyes de composición que se pueden representar con los símbolos a y b,y de una aplicación involutiva (es decir, que cada elemento sea su propio simétrico) en el que se cumplan los siguientes axiomas: – cada una de las dos leyes es asociativa y conmutativa – cada una de las dos leyes admite elemento neutro – todo elemento de A es idempotente para las dos leyes – cada una de las leyes es distributiva con relación a la otra – para toda pareja (x, y) de elementos de A se cumple (x by)’ = x ‘ ay ‘; (x a y)’ = x ‘ b y ‘ (con la tilde se ha señalado el simétrico al elemento o expresión considerada). Un ejemplo concreto de...