Strong Variety

A variety  of algebras is a strong variety provided that for each subvariety  of , and each algebra , if  is generated by its - subalgebras, then .

In strong varieties, sums of locally finite algebras are locally finite.

REFERENCES

Burris, S. and Sankappanavar, H. P. A Course in Universal Algebra. New York: Springer-Verlag, 1981.

 http://www.thoralf.uwaterloo.ca/htdocs/ualg.html.Grätzer, G. Universal Algebra, 2nd ed. New York: Springer-Verlag, 1979.

Insall, M. "Nonstandard Methods and Finiteness Conditions in Algebra." Zeitschr. f. Math., Logik, und Grundlagen d. Math. 37, 525-532, 1991.