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