Does ∅-∅=∅ or does ∅-∅=0? Difference of the empty set and itself?

AI Thread Summary
The discussion centers on the mathematical operation of subtracting the empty set from itself. It concludes that the difference of the empty set and itself is indeed the empty set, represented as ∅ - ∅ = ∅. This is because there are no elements in the empty set to remove. Additionally, it is noted that subtracting any non-empty set A from the empty set also results in the empty set, expressed as ∅ - A = ∅. The consensus affirms that the empty set remains unchanged when performing these operations.
talknerdytome
Messages
2
Reaction score
0
I'm having trouble conceptualizing taking the difference between the empty set and itself. There is no element x where x∈∅ and x∉∅, so I'm thinking that it should return ∅ since there are no possible elements.

Is that correct?
 
Physics news on Phys.org
Subtracting a set A from a set B simply means the set that you get if you remove the elements in A from B. So yes ∅ - ∅ = ∅
 
Thanks!
 
BTW, also $$\emptyset - A =\emptyset$$ where A is nonempty.
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...

Similar threads

Replies
10
Views
3K
Replies
2
Views
2K
Replies
22
Views
4K
Replies
18
Views
2K
Replies
10
Views
3K
Back
Top