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