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: • lattice-ordered_rings • complemented_modular_lattices • first-order_classes • locally_finite