Dados subconjuntos A e B de um universo U, formamos o conjunto dos elementos de U que pertencem a exatamente um dos conjuntos A, B. Em símbolos, esse conjunto pode ser denotado por:
