2
$\begingroup$

I proved that the following identity is true. It seems relatively simple and somewhat applicable, so I was wondering if there is a name for it (maybe something like De Morgan's Laws, for example).

$$(A \setminus B) \cup (B \setminus A) = (A \cup B) \setminus (A \cap B)$$.

  • 1
    There isn't a name for every set identity... – 2017-02-23
  • 0
    @MathematicsStudent1122 I am aware, but it just seemed possible to me that this one might have a name (and if so, I would like to know what it is). – 2017-02-23
  • 0
    The wiki page on the symmetric difference gives no name. https://en.wikipedia.org/wiki/Symmetric_difference – 2017-02-23
  • 1
    I don't think the identity itself has a name, but it is describing two equivalent definitions of the [symmetric difference](https://en.wikipedia.org/wiki/Symmetric_difference) of two sets. – 2017-02-23
  • 0
    Well, I was going to suggest we call it pzp's law.... – 2017-02-24

2 Answers 2

1

Since you always can combine identities to come up with new identities they can't all have names. Of course you can come up with names as easy as you can come up with identities, but those don't get widely accepted as easily. This means that it's normally the most basic identities that get a name.

It's also the usefulness of identities that makes them get a name.

I would say that this identity fails in both categories, it's too complex and not that widely used.

One should note that in set algebra and boolean algebra at a more advanced level one can rely on truth tables to determine if an identity is valid so there is no actual need to manipulate expressions. One simple moves from one expression to the form that is convenient. This removes much of the need of names for identities.

1

There isn't a name, it is describing two equivalent definitions of the symmetric difference of two sets and you can prove the equivalence:

Definition: symmetric difference $$ A \bigtriangleup B := (A \setminus B) \cup (B\setminus A)$$ Proof: $(A \cup B) \setminus (A \cap B)=(A \setminus B) \cup (B\setminus A) $ \begin{align*} (A \cup B)\setminus (A\cap B) &= ((A \cup B) \setminus A) \cup ((A \cup B) \setminus B)\\ &=(B \cup A) \setminus A) \cup ((A \cup B) \setminus B) \\ &= (B \setminus A) \cup (A \setminus B) \\ &=(A \setminus B) \cup (B\setminus A) \end{align*}