Si se menciona explícitamente el conjunto universal , entonces el complementario de es el conjunto de todos los elementos de que no están en , por lo que la relación con la diferencia es clara: