Definition:Symmetric Difference/Definition 1

From ProofWiki
Jump to navigation Jump to search

Definition

The symmetric difference between two sets $S$ and $T$ is written $S \symdif T$ and is defined as:

$S \symdif T := \paren {S \setminus T} \cup \paren {T \setminus S}$

where:

$\setminus$ denotes set difference
$\cup$ denotes set union.


Illustration by Venn Diagram

The symmetric difference $S \symdif T$ of the two sets $S$ and $T$ is illustrated in the following Venn diagram by the red area:

VennDiagramSymmetricDifference.png


Also known as

The symmetric difference between two sets is also known as their:

disjoint union
Boolean sum.

However, both terms have different or more specialized meanings on $\mathsf{Pr} \infty \mathsf{fWiki}$, so will not be used here.


Another term seen occasionally is symmetric sum.


Some sources are pedantically explicit and use the term symmetric difference set.


Notation

There is no standard symbol for symmetric difference. The one used here, and in general on $\mathsf{Pr} \infty \mathsf{fWiki}$:

$S \symdif T$

is the one used in 1996: Winfried Just and Martin Weese: Discovering Modern Set Theory. I: The Basics.


The following are often found for $S \symdif T$:

$S * T$
$S \oplus T$
$S + T$
$S \mathop \triangle T$

According to 1989: Ephraim J. Borowski and Jonathan M. Borwein: Dictionary of Mathematics: symmetric difference:

$S \mathop \Theta T$
$S \mathop \triangledown T$

are also variants for denoting this concept.

2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.): symmetric difference recognizes a further variant:

$S \mathop \nabla T$


Also see

  • Results about symmetric difference can be found here.


Sources

Retrieved from "https://proofwiki.org/w/index.php?title=Definition:Symmetric_Difference/Definition_1&oldid=722235"