One of the characteristics of modern algebra is the development of new tools and concepts for exploring classes of algebraic systems, whereas the research on individual algebraic systems (e. g., groups, rings, Lie algebras, etc. ) continues along traditional lines. The early work on classes of alge bras was concerned with showing that one class X of algebraic systems is actually contained in another class F. Modern research into the theory of classes was initiated in the 1930's by Birkhoff's work 1] on general varieties of algebras, and Neumann's work 1] on varieties of groups. A. I....