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.