 Solution

An element $a$ is parameter-free definable if some formula $\theta (x)$ of the original language has $a$ as its unique solution in the structure. Saying this for every element makes the model pointwise definable.

If a finite tuple has individually defining formulas, their conjunction uniquely defines that tuple. Its complete type is isolated by this conjunction: for each formula $\phi$, the sentence saying the unique tuple does or does not satisfy $\phi$ is decided by the complete theory. ThusIt follows that the countable model is also prime. The converse implication to property (i) fails. In $(\mathbb{N},<,0)$ every element is defined by having exactly $n$ predecessors, but the only closed term in this language is the constant $0$. This infinite model is pointwise definable and is not term-generated.