Let $T$ be a theory in first-order logic. A model $M$ of $T$ is minimal if no proper substructure of $M$ is also a model of $T$. Consider the theory $T$ with a single unary function symbol $f$ and the axiom $\forall x (f(x) \neq x)$. Which of the following structures is a minimal model of $T$?