Definición Sea * una operación en un conjunto E.