En esta conferencia trataremos exclusivamente de sistemas algebraicos o estructuras algebraicas (A,&), en donde A e s un conjunto dado y la y comercial & denota una operacion binarias sobre A. Cuando no se preste a confusiones, hablaremos abusivamente del sistema A, y denotaremos la operacion por simple yuxtaposicion: ab = a&b. (Lease: a operado con b).