Is every empty set equal? [duplicate]

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
3
down vote

favorite













This question already has an answer here:



  • intentional and extensional set definition

    3 answers



  1. In a math textbook I found a statement that every empty set is equal.

  2. There are such sets that it is impossible for them not to be empty: set of all natural numbers between 10 and 11.

  3. There are such sets that it is possible for them not to be empty: all the people from the Earth, who are on the Mars now. In future it can be possible.

  4. Quesstion: can sets mentioned in 2 be equal to sets mentioned in 3. If yes, why not to take in account the difference examples above?






share|cite|improve this question














marked as duplicate by user21820, Asaf Karagila♦ Aug 17 at 7:03


This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.














  • I think the empty set is one and only one...even if it is subset of every known set in Set Theory
    – dmtri
    Aug 17 at 4:54






  • 1




    Set theory does not by itself deal with sets that can change over time. If you want you can talk about the set of "all the people from the Earth, who are on the Mars on 16 August 2018", which will remain empty in the future.
    – Rahul
    Aug 17 at 4:56











  • All empty sets are equal because they have the same elements. However, the empty set in (0,2) has a different complement from the empty set in (0,2]
    – BCLC
    Aug 17 at 5:47










  • Your question is not really about the empty set. You could ask about the set of siblings one might have, which can grow bigger or later shrink smaller.
    – Asaf Karagila♦
    Aug 17 at 7:00










  • There's only one empty set. There's only one 1. Do you sometimes ask whether you have "two 1s"? What do you mean by "two" of one thing? Language is being used sloppily/informally. You are interested in something like whether two expressions both evaluate to the empty set. Please quote the textbook. PS Why can't "[expression values that are] sets mentioned in 2 be equal to [expression values that are] sets mentioned in 3"? If it arises, it arises.
    – philipxy
    Aug 17 at 7:08














up vote
3
down vote

favorite













This question already has an answer here:



  • intentional and extensional set definition

    3 answers



  1. In a math textbook I found a statement that every empty set is equal.

  2. There are such sets that it is impossible for them not to be empty: set of all natural numbers between 10 and 11.

  3. There are such sets that it is possible for them not to be empty: all the people from the Earth, who are on the Mars now. In future it can be possible.

  4. Quesstion: can sets mentioned in 2 be equal to sets mentioned in 3. If yes, why not to take in account the difference examples above?






share|cite|improve this question














marked as duplicate by user21820, Asaf Karagila♦ Aug 17 at 7:03


This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.














  • I think the empty set is one and only one...even if it is subset of every known set in Set Theory
    – dmtri
    Aug 17 at 4:54






  • 1




    Set theory does not by itself deal with sets that can change over time. If you want you can talk about the set of "all the people from the Earth, who are on the Mars on 16 August 2018", which will remain empty in the future.
    – Rahul
    Aug 17 at 4:56











  • All empty sets are equal because they have the same elements. However, the empty set in (0,2) has a different complement from the empty set in (0,2]
    – BCLC
    Aug 17 at 5:47










  • Your question is not really about the empty set. You could ask about the set of siblings one might have, which can grow bigger or later shrink smaller.
    – Asaf Karagila♦
    Aug 17 at 7:00










  • There's only one empty set. There's only one 1. Do you sometimes ask whether you have "two 1s"? What do you mean by "two" of one thing? Language is being used sloppily/informally. You are interested in something like whether two expressions both evaluate to the empty set. Please quote the textbook. PS Why can't "[expression values that are] sets mentioned in 2 be equal to [expression values that are] sets mentioned in 3"? If it arises, it arises.
    – philipxy
    Aug 17 at 7:08












up vote
3
down vote

favorite









up vote
3
down vote

favorite












This question already has an answer here:



  • intentional and extensional set definition

    3 answers



  1. In a math textbook I found a statement that every empty set is equal.

  2. There are such sets that it is impossible for them not to be empty: set of all natural numbers between 10 and 11.

  3. There are such sets that it is possible for them not to be empty: all the people from the Earth, who are on the Mars now. In future it can be possible.

  4. Quesstion: can sets mentioned in 2 be equal to sets mentioned in 3. If yes, why not to take in account the difference examples above?






share|cite|improve this question















This question already has an answer here:



  • intentional and extensional set definition

    3 answers



  1. In a math textbook I found a statement that every empty set is equal.

  2. There are such sets that it is impossible for them not to be empty: set of all natural numbers between 10 and 11.

  3. There are such sets that it is possible for them not to be empty: all the people from the Earth, who are on the Mars now. In future it can be possible.

  4. Quesstion: can sets mentioned in 2 be equal to sets mentioned in 3. If yes, why not to take in account the difference examples above?




This question already has an answer here:



  • intentional and extensional set definition

    3 answers









share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Aug 17 at 7:02









Asaf Karagila♦

293k31406735




293k31406735










asked Aug 17 at 4:51









Josef Klimuk

1213




1213




marked as duplicate by user21820, Asaf Karagila♦ Aug 17 at 7:03


This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.






marked as duplicate by user21820, Asaf Karagila♦ Aug 17 at 7:03


This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.













  • I think the empty set is one and only one...even if it is subset of every known set in Set Theory
    – dmtri
    Aug 17 at 4:54






  • 1




    Set theory does not by itself deal with sets that can change over time. If you want you can talk about the set of "all the people from the Earth, who are on the Mars on 16 August 2018", which will remain empty in the future.
    – Rahul
    Aug 17 at 4:56











  • All empty sets are equal because they have the same elements. However, the empty set in (0,2) has a different complement from the empty set in (0,2]
    – BCLC
    Aug 17 at 5:47










  • Your question is not really about the empty set. You could ask about the set of siblings one might have, which can grow bigger or later shrink smaller.
    – Asaf Karagila♦
    Aug 17 at 7:00










  • There's only one empty set. There's only one 1. Do you sometimes ask whether you have "two 1s"? What do you mean by "two" of one thing? Language is being used sloppily/informally. You are interested in something like whether two expressions both evaluate to the empty set. Please quote the textbook. PS Why can't "[expression values that are] sets mentioned in 2 be equal to [expression values that are] sets mentioned in 3"? If it arises, it arises.
    – philipxy
    Aug 17 at 7:08
















  • I think the empty set is one and only one...even if it is subset of every known set in Set Theory
    – dmtri
    Aug 17 at 4:54






  • 1




    Set theory does not by itself deal with sets that can change over time. If you want you can talk about the set of "all the people from the Earth, who are on the Mars on 16 August 2018", which will remain empty in the future.
    – Rahul
    Aug 17 at 4:56











  • All empty sets are equal because they have the same elements. However, the empty set in (0,2) has a different complement from the empty set in (0,2]
    – BCLC
    Aug 17 at 5:47










  • Your question is not really about the empty set. You could ask about the set of siblings one might have, which can grow bigger or later shrink smaller.
    – Asaf Karagila♦
    Aug 17 at 7:00










  • There's only one empty set. There's only one 1. Do you sometimes ask whether you have "two 1s"? What do you mean by "two" of one thing? Language is being used sloppily/informally. You are interested in something like whether two expressions both evaluate to the empty set. Please quote the textbook. PS Why can't "[expression values that are] sets mentioned in 2 be equal to [expression values that are] sets mentioned in 3"? If it arises, it arises.
    – philipxy
    Aug 17 at 7:08















I think the empty set is one and only one...even if it is subset of every known set in Set Theory
– dmtri
Aug 17 at 4:54




I think the empty set is one and only one...even if it is subset of every known set in Set Theory
– dmtri
Aug 17 at 4:54




1




1




Set theory does not by itself deal with sets that can change over time. If you want you can talk about the set of "all the people from the Earth, who are on the Mars on 16 August 2018", which will remain empty in the future.
– Rahul
Aug 17 at 4:56





Set theory does not by itself deal with sets that can change over time. If you want you can talk about the set of "all the people from the Earth, who are on the Mars on 16 August 2018", which will remain empty in the future.
– Rahul
Aug 17 at 4:56













All empty sets are equal because they have the same elements. However, the empty set in (0,2) has a different complement from the empty set in (0,2]
– BCLC
Aug 17 at 5:47




All empty sets are equal because they have the same elements. However, the empty set in (0,2) has a different complement from the empty set in (0,2]
– BCLC
Aug 17 at 5:47












Your question is not really about the empty set. You could ask about the set of siblings one might have, which can grow bigger or later shrink smaller.
– Asaf Karagila♦
Aug 17 at 7:00




Your question is not really about the empty set. You could ask about the set of siblings one might have, which can grow bigger or later shrink smaller.
– Asaf Karagila♦
Aug 17 at 7:00












There's only one empty set. There's only one 1. Do you sometimes ask whether you have "two 1s"? What do you mean by "two" of one thing? Language is being used sloppily/informally. You are interested in something like whether two expressions both evaluate to the empty set. Please quote the textbook. PS Why can't "[expression values that are] sets mentioned in 2 be equal to [expression values that are] sets mentioned in 3"? If it arises, it arises.
– philipxy
Aug 17 at 7:08




There's only one empty set. There's only one 1. Do you sometimes ask whether you have "two 1s"? What do you mean by "two" of one thing? Language is being used sloppily/informally. You are interested in something like whether two expressions both evaluate to the empty set. Please quote the textbook. PS Why can't "[expression values that are] sets mentioned in 2 be equal to [expression values that are] sets mentioned in 3"? If it arises, it arises.
– philipxy
Aug 17 at 7:08










2 Answers
2






active

oldest

votes

















up vote
9
down vote



accepted










Two sets are equal if and only if they contain the same elements. Obviously, there cannot be two different empty sets under this definition. The mistake in your description of three is that you say, that the set of all Earthling who are on Mars now is empty, but in the future there may be Earthlings on Mars. In that case, it will be a different set.



The word "now" is the problem. That isn't sufficiently precise for a mathematical definition. You should make a definition like, "The set of all Earthlings on Mars on August 16, 2018." This set is equal to the set of all integers strictly between $10$ and $11.$ If may happen that the set of all Earthlings on Mars on August 16, 3018 turns out to be nonempty, but that has nothing to do with the case.






share|cite|improve this answer
















  • 1




    Anno Domini :-)
    – Arnaud Mortier
    Aug 17 at 5:20

















up vote
3
down vote













Every empty set is same in the sense that if you take two empty sets, say $emptyset_1$ and $emptyset_2$, then they are contained in one another. You can in fact give a logical argument for this.



If you take any element $x in emptyset_1$ (which is none) it is also contained in $emptyset_2$ and vice - versa. Therefore, $emptyset_1 = emptyset_2$. Therefore, we say that all empty sets are equal.



Currently, there are no people on Mars. So, the set mentioned in $3$ is empty. Also, we know that there are no Natural numbers between 10 and 11. So, the set in $2$ is also empty. Now, if you consider the above argument I made, you will understand that these two empty sets are equal even though, the contexts they are made in are different.






share|cite|improve this answer


















  • 2




    $emptyset$ $emptyset$
    – Arnaud Mortier
    Aug 17 at 5:14










  • Thank you! I will keep this in mind from next time onwards. Actually, while speaking, I have a habit of speaking "phi" for an empty set. So, the case!
    – Aniruddha Deshmukh
    Aug 17 at 5:16










  • You're welcome! But I think that "is empty" takes just as much time and is more universally understood than "equals phi" ;)
    – Arnaud Mortier
    Aug 17 at 5:18










  • $emptyset_1$ is questionable notation, $phi_1$ is ok. (In general, $emptyset$ is of course the right choice.)
    – Carsten S
    Aug 17 at 6:59











  • Two empty sets are (non-strict) subsets of each other, they are not contained in each other.
    – immibis
    Aug 17 at 7:48

















2 Answers
2






active

oldest

votes








2 Answers
2






active

oldest

votes









active

oldest

votes






active

oldest

votes








up vote
9
down vote



accepted










Two sets are equal if and only if they contain the same elements. Obviously, there cannot be two different empty sets under this definition. The mistake in your description of three is that you say, that the set of all Earthling who are on Mars now is empty, but in the future there may be Earthlings on Mars. In that case, it will be a different set.



The word "now" is the problem. That isn't sufficiently precise for a mathematical definition. You should make a definition like, "The set of all Earthlings on Mars on August 16, 2018." This set is equal to the set of all integers strictly between $10$ and $11.$ If may happen that the set of all Earthlings on Mars on August 16, 3018 turns out to be nonempty, but that has nothing to do with the case.






share|cite|improve this answer
















  • 1




    Anno Domini :-)
    – Arnaud Mortier
    Aug 17 at 5:20














up vote
9
down vote



accepted










Two sets are equal if and only if they contain the same elements. Obviously, there cannot be two different empty sets under this definition. The mistake in your description of three is that you say, that the set of all Earthling who are on Mars now is empty, but in the future there may be Earthlings on Mars. In that case, it will be a different set.



The word "now" is the problem. That isn't sufficiently precise for a mathematical definition. You should make a definition like, "The set of all Earthlings on Mars on August 16, 2018." This set is equal to the set of all integers strictly between $10$ and $11.$ If may happen that the set of all Earthlings on Mars on August 16, 3018 turns out to be nonempty, but that has nothing to do with the case.






share|cite|improve this answer
















  • 1




    Anno Domini :-)
    – Arnaud Mortier
    Aug 17 at 5:20












up vote
9
down vote



accepted







up vote
9
down vote



accepted






Two sets are equal if and only if they contain the same elements. Obviously, there cannot be two different empty sets under this definition. The mistake in your description of three is that you say, that the set of all Earthling who are on Mars now is empty, but in the future there may be Earthlings on Mars. In that case, it will be a different set.



The word "now" is the problem. That isn't sufficiently precise for a mathematical definition. You should make a definition like, "The set of all Earthlings on Mars on August 16, 2018." This set is equal to the set of all integers strictly between $10$ and $11.$ If may happen that the set of all Earthlings on Mars on August 16, 3018 turns out to be nonempty, but that has nothing to do with the case.






share|cite|improve this answer












Two sets are equal if and only if they contain the same elements. Obviously, there cannot be two different empty sets under this definition. The mistake in your description of three is that you say, that the set of all Earthling who are on Mars now is empty, but in the future there may be Earthlings on Mars. In that case, it will be a different set.



The word "now" is the problem. That isn't sufficiently precise for a mathematical definition. You should make a definition like, "The set of all Earthlings on Mars on August 16, 2018." This set is equal to the set of all integers strictly between $10$ and $11.$ If may happen that the set of all Earthlings on Mars on August 16, 3018 turns out to be nonempty, but that has nothing to do with the case.







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered Aug 17 at 4:59









saulspatz

11k21323




11k21323







  • 1




    Anno Domini :-)
    – Arnaud Mortier
    Aug 17 at 5:20












  • 1




    Anno Domini :-)
    – Arnaud Mortier
    Aug 17 at 5:20







1




1




Anno Domini :-)
– Arnaud Mortier
Aug 17 at 5:20




Anno Domini :-)
– Arnaud Mortier
Aug 17 at 5:20










up vote
3
down vote













Every empty set is same in the sense that if you take two empty sets, say $emptyset_1$ and $emptyset_2$, then they are contained in one another. You can in fact give a logical argument for this.



If you take any element $x in emptyset_1$ (which is none) it is also contained in $emptyset_2$ and vice - versa. Therefore, $emptyset_1 = emptyset_2$. Therefore, we say that all empty sets are equal.



Currently, there are no people on Mars. So, the set mentioned in $3$ is empty. Also, we know that there are no Natural numbers between 10 and 11. So, the set in $2$ is also empty. Now, if you consider the above argument I made, you will understand that these two empty sets are equal even though, the contexts they are made in are different.






share|cite|improve this answer


















  • 2




    $emptyset$ $emptyset$
    – Arnaud Mortier
    Aug 17 at 5:14










  • Thank you! I will keep this in mind from next time onwards. Actually, while speaking, I have a habit of speaking "phi" for an empty set. So, the case!
    – Aniruddha Deshmukh
    Aug 17 at 5:16










  • You're welcome! But I think that "is empty" takes just as much time and is more universally understood than "equals phi" ;)
    – Arnaud Mortier
    Aug 17 at 5:18










  • $emptyset_1$ is questionable notation, $phi_1$ is ok. (In general, $emptyset$ is of course the right choice.)
    – Carsten S
    Aug 17 at 6:59











  • Two empty sets are (non-strict) subsets of each other, they are not contained in each other.
    – immibis
    Aug 17 at 7:48














up vote
3
down vote













Every empty set is same in the sense that if you take two empty sets, say $emptyset_1$ and $emptyset_2$, then they are contained in one another. You can in fact give a logical argument for this.



If you take any element $x in emptyset_1$ (which is none) it is also contained in $emptyset_2$ and vice - versa. Therefore, $emptyset_1 = emptyset_2$. Therefore, we say that all empty sets are equal.



Currently, there are no people on Mars. So, the set mentioned in $3$ is empty. Also, we know that there are no Natural numbers between 10 and 11. So, the set in $2$ is also empty. Now, if you consider the above argument I made, you will understand that these two empty sets are equal even though, the contexts they are made in are different.






share|cite|improve this answer


















  • 2




    $emptyset$ $emptyset$
    – Arnaud Mortier
    Aug 17 at 5:14










  • Thank you! I will keep this in mind from next time onwards. Actually, while speaking, I have a habit of speaking "phi" for an empty set. So, the case!
    – Aniruddha Deshmukh
    Aug 17 at 5:16










  • You're welcome! But I think that "is empty" takes just as much time and is more universally understood than "equals phi" ;)
    – Arnaud Mortier
    Aug 17 at 5:18










  • $emptyset_1$ is questionable notation, $phi_1$ is ok. (In general, $emptyset$ is of course the right choice.)
    – Carsten S
    Aug 17 at 6:59











  • Two empty sets are (non-strict) subsets of each other, they are not contained in each other.
    – immibis
    Aug 17 at 7:48












up vote
3
down vote










up vote
3
down vote









Every empty set is same in the sense that if you take two empty sets, say $emptyset_1$ and $emptyset_2$, then they are contained in one another. You can in fact give a logical argument for this.



If you take any element $x in emptyset_1$ (which is none) it is also contained in $emptyset_2$ and vice - versa. Therefore, $emptyset_1 = emptyset_2$. Therefore, we say that all empty sets are equal.



Currently, there are no people on Mars. So, the set mentioned in $3$ is empty. Also, we know that there are no Natural numbers between 10 and 11. So, the set in $2$ is also empty. Now, if you consider the above argument I made, you will understand that these two empty sets are equal even though, the contexts they are made in are different.






share|cite|improve this answer














Every empty set is same in the sense that if you take two empty sets, say $emptyset_1$ and $emptyset_2$, then they are contained in one another. You can in fact give a logical argument for this.



If you take any element $x in emptyset_1$ (which is none) it is also contained in $emptyset_2$ and vice - versa. Therefore, $emptyset_1 = emptyset_2$. Therefore, we say that all empty sets are equal.



Currently, there are no people on Mars. So, the set mentioned in $3$ is empty. Also, we know that there are no Natural numbers between 10 and 11. So, the set in $2$ is also empty. Now, if you consider the above argument I made, you will understand that these two empty sets are equal even though, the contexts they are made in are different.







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited Aug 17 at 5:17

























answered Aug 17 at 4:55









Aniruddha Deshmukh

665417




665417







  • 2




    $emptyset$ $emptyset$
    – Arnaud Mortier
    Aug 17 at 5:14










  • Thank you! I will keep this in mind from next time onwards. Actually, while speaking, I have a habit of speaking "phi" for an empty set. So, the case!
    – Aniruddha Deshmukh
    Aug 17 at 5:16










  • You're welcome! But I think that "is empty" takes just as much time and is more universally understood than "equals phi" ;)
    – Arnaud Mortier
    Aug 17 at 5:18










  • $emptyset_1$ is questionable notation, $phi_1$ is ok. (In general, $emptyset$ is of course the right choice.)
    – Carsten S
    Aug 17 at 6:59











  • Two empty sets are (non-strict) subsets of each other, they are not contained in each other.
    – immibis
    Aug 17 at 7:48












  • 2




    $emptyset$ $emptyset$
    – Arnaud Mortier
    Aug 17 at 5:14










  • Thank you! I will keep this in mind from next time onwards. Actually, while speaking, I have a habit of speaking "phi" for an empty set. So, the case!
    – Aniruddha Deshmukh
    Aug 17 at 5:16










  • You're welcome! But I think that "is empty" takes just as much time and is more universally understood than "equals phi" ;)
    – Arnaud Mortier
    Aug 17 at 5:18










  • $emptyset_1$ is questionable notation, $phi_1$ is ok. (In general, $emptyset$ is of course the right choice.)
    – Carsten S
    Aug 17 at 6:59











  • Two empty sets are (non-strict) subsets of each other, they are not contained in each other.
    – immibis
    Aug 17 at 7:48







2




2




$emptyset$ $emptyset$
– Arnaud Mortier
Aug 17 at 5:14




$emptyset$ $emptyset$
– Arnaud Mortier
Aug 17 at 5:14












Thank you! I will keep this in mind from next time onwards. Actually, while speaking, I have a habit of speaking "phi" for an empty set. So, the case!
– Aniruddha Deshmukh
Aug 17 at 5:16




Thank you! I will keep this in mind from next time onwards. Actually, while speaking, I have a habit of speaking "phi" for an empty set. So, the case!
– Aniruddha Deshmukh
Aug 17 at 5:16












You're welcome! But I think that "is empty" takes just as much time and is more universally understood than "equals phi" ;)
– Arnaud Mortier
Aug 17 at 5:18




You're welcome! But I think that "is empty" takes just as much time and is more universally understood than "equals phi" ;)
– Arnaud Mortier
Aug 17 at 5:18












$emptyset_1$ is questionable notation, $phi_1$ is ok. (In general, $emptyset$ is of course the right choice.)
– Carsten S
Aug 17 at 6:59





$emptyset_1$ is questionable notation, $phi_1$ is ok. (In general, $emptyset$ is of course the right choice.)
– Carsten S
Aug 17 at 6:59













Two empty sets are (non-strict) subsets of each other, they are not contained in each other.
– immibis
Aug 17 at 7:48




Two empty sets are (non-strict) subsets of each other, they are not contained in each other.
– immibis
Aug 17 at 7:48


這個網誌中的熱門文章

How to combine Bézier curves to a surface?

Why am i infinitely getting the same tweet with the Twitter Search API?

Carbon dioxide