Nella teoria degli ideli e adeli, gli ideali di un anello di Dedekind D (per esempio di numeri algebrici o di funzioni algebriche) sono moltiplicativamente isomorfi, a meno di elementi associati, ad un sotto-insieme di un anello, $\Delta$, che è un'estensione di D. L'idea fondamentale della teoria suaccennata fu concepita da Prüfer e sviluppata poi da von Neumann, Chevalley e altri. In questa Nota mostriamo come una teoria di questo tipo può venire rielaborata adoperando modelli non-standard definiti per mezzo di un linguaggio formalizzato.