EDB — 244

Dato un insieme $A$ che sia S-saturo, si definisce ${\mathbb{N}}_A$ come l’intersezioni di tutti i sottoinsiemi S-saturi di $A$. Per [245]↺↻, ${\mathbb{N}}_A$ è S-saturo. Dati due insieme $A,B$ che siano S-saturi, si mostra che ${\mathbb{N}}_A={\mathbb{N}}_B$: si indica dunque con $\mathbb{N}$ questo insieme. In particolare, dato un insieme $A$ che sia S-saturo, si ha $\mathbb{N}\subseteq A$.