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