An algebraic structure is locally finite if every finitely generated substructure is finite.
A class of algebraic structures is locally finite if each member is locally finite.
Trace: » locally_finite
An algebraic structure is locally finite if every finitely generated substructure is finite.
A class of algebraic structures is locally finite if each member is locally finite.
Trace: » locally_finite