1
$\begingroup$

If I try to remove elements from an empty set, would I get an empty set or would this operation be undefined?

  • 5
    What does "removing elements" mean, and how are you going to try to remove them? Certainly any subset of the empty set is itself empty.2011-07-21
  • 0
    For example, $(e - A)$ can be interpreted as removing all elements of set $A$ from $e$. But if $e = \emptyset$, would $(e - A) = \emptyset$ ?2011-07-21
  • 0
    Yes, it would be empty, because $A-B$ is always a subset of $A$.2011-07-21
  • 3
    @Jon: $(e-A)$ cannot be interpreted as removing all elements of $A$ from $e$, since $e$ might not contain all elements of $A$. Rather, $(e-A)$ is defined as the result of removing all elements of $A$ contained in $e$ from $e$.2011-07-21

2 Answers 2

8

Obviously you cannot actually remove elements from an empty set, so I'm guessing that your question is intended to refer to the operator $\setminus$, as in $\emptyset\setminus\{1,2\}$. If this is so, the question pertains not only to the empty set, but to any case in which the left-hand operand contains elements that the right-hand operand doesn't contain. The operator is defined such that these elements are irrelevant, and only the elements actually contained in the left-hand operand are actually removed; so the operation is well-defined and yields $\emptyset\setminus\{1,2\}=\emptyset$.

  • 0
    Thank you, this makes much more sense!2011-07-21
5

A definition of the set $A\setminus B$ (read "A setminus B") is $$ A\setminus B=\{x\,|\,x\in A,x\notin B\}. $$ In particular, $A\setminus B\subseteq A$. If $A=\emptyset$, this proves that $A\setminus B=\emptyset$ for every set $B$.

  • 1
    As @Arturo said.2011-07-21