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)
Weisstein, Eric W., with contributions by Matt Insall. "Strong Variety." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/StrongVariety.html