Escogido un conjunto universal, para cada conjunto de objetos existe su complementario, que contiene todos los elementos que no están en dicho conjunto.