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 ![]() (B) X è l'insieme dei numeri interi, * è il numero 0, F è la funzione x ![]() (C) X è l'insieme immagine della funzione a input e output interi x ![]() ![]() (D) X è l'insieme dei numeri reali diversi da 0, * è il numero 1, F è la funzione x ![]() (E) Nessuna delle precedenti |