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.
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.
This entry contributed by Matt Insall (author's link)
Insall, Matt. "Strong Variety." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein. https://mathworld.wolfram.com/StrongVariety.html