An algebraic structure is \emph{locally finite} if every finitely generated substructure is finite.
A class of algebraic structures is locally finite if each member is locally finite.
Trace: • congruence_n-permutable • euclidean_domains • index.html • binars • pseudo_basic_logic_algebras • start • rings • bounded_lattices • left_neofield • locally_finite