Assertion: free algebra | /r/HasProperty | finite
Facets:
Source sentences:
text: A locally finite variety is one whose finitely generated free algebras are finite, such as pointed sets, graphs (whether of the directed or undirected variety), and distributive lattices.