Intendiamoci: Insiemistica, al liceo, l’ho fatta, e mi piaceva assai. Ora non ricordo quasi più nulla, tranne i concetti di Unione, Intersezione e Sottoinsieme. L’intersezione di un sottoinsieme B con il suo sovraisieme A dà come risultato B. Ora: se io volessi eliminare tutti gli elementi dell’insieme B, invariabilmente perderei anche alcuni elementi dell’insieme A. Quello che mi devo chiedere è: B è un insieme proprio o imporoprio? In altre parole, tutti gli elementi di A sono contenuti in B, rendendo B conicidente ad A?

Perchè, a quel punto, eliminare il sottoinsieme B comporterebbe rendere A un insieme vuoto.

Si dice Meglio soli che mal accompagnati. Sono d’accordo. Devo solo riconoscere tutti gli elementi che verificano una determinata proprietà P e posizionarli nell’insieme appropriato.