Sejam e dois conjuntos disjuntos, ambos finitos e não-vazios, tais que . Então, a diferença pode assumir