La diferencia simtrica entre dos conjuntos

es el conjunto

de los elementos que se hallan slo en uno de

los conjuntos. Ms precisamente,

Diferencia simtrica de dos conjuntos.

La diferencia simtrica es una operacin conmutativa y asociativa. Esto permite generalizarla para un nmero

de

conjuntos. Es decir, tiene sentido la escritura

donde

es una coleccin de

conjunto de los elementos de

subconjuntos de un conjunto dado

que se hallan justo en un nmero impar de conjuntos

. Probaremos que
.

es el

Diferencia simtrica de tres conjuntos.

Hacemos la prueba por induccin sobre

. Para

cierto para

. Como

y sea

es inmediata por definicin de diferencia simtrica. Sea

entonces

pertenece a una cantidad impar de conjuntos

conjuntos de

y, evidentemente, tambin a una cantidad impar de

(pues no pertenece a

puede pertenecer a una cantidad par de conjuntos

de

conjuntos
simtrica
de

de

de

) y, en el segundo caso
. Si

evidente que pertenece a una cantidad impar de conjuntos de

cantidad par de conjuntos

. En el primer caso, aplicando la induccin,

pertenece a

pertenece slo a

pero

, entonces es

y si pertenece adems a una

, es inmediato que pertenecer a una cantidad impar de

(pues aadimos uno ms y par ms uno es impar). Por tanto, la diferencia

es el conjunto de los elementos de

que se hallan en un nmero impar de conjuntos

y esto termina la demostracin.

Ejemplo de aplicacin: