Ciao!
mi è sorto un dilemma.
Consideriamo un insieme non vuoto $A$, sappiamo che $emptyset subsetA$: qualsiasi sia l'insieme $A$.
Ha senso la scrittura $Asetminus emptyset$?
logicamente mi pare abbia senso poiché $forall x in A( x in A wedge xnotin emptyset)$ è vera e quindi si avrebbe praticamente $A=Asetminusemptyset$ ma quindi che significa sottrarre l'insieme vuoto se poi di fatto:
1. l'insieme vuoto si comporta come neutro per la sottrazione insiemistica.
2. l'insieme vuoto è sottoinsieme di ogni insieme, quindi non si può togliere.
'sto insieme vuoto è brutto forte.