Sia <X, *, F> una struttura, di cui X sia il supporto, * un elemento e F una funzione da X in X. Si abbia che:
	(1) F(x) è diverso da * per ogni x in X (2) L'unico sottoinsieme di X avente * per elemento e chiuso rispetto a F è X stesso (3) F è surgettiva
Quale tra le seguenti strutture è un modello della teoria avente (1), (2) e (3) come assiomi?
(A) X è l'insieme dei numeri naturali, * è il numero 0, F è la funzione x  x+1 (B) X è l'insieme dei numeri interi, * è il numero 0, F è la funzione x  x+1 (C) X è l'insieme immagine della funzione a input e output interi x x MOD 7 che a x associa il resto della sua divisione per 7, * è il numero 2, F è la funzione x (x+2) MOD 7 (D) X è l'insieme dei numeri reali diversi da 0, * è il numero 1, F è la funzione x  1/x (E) Nessuna delle precedenti