Dados cualesquiera conjuntos formula_17 e formula_18, existe otro conjunto, representado por formula_19, cuyos elementos son únicamente formula_17 e formula_18.