Countably generated structure

Summary

A structure is countably generated when some countable subset of it generates the whole structure under its operations. It is the countable analogue of a finitely generated algebra. In a countable signature, a structure is countably generated exactly when its universe is countable.