Una vez definido un conjunto universal, puede definirse el conjunto complementario de otro, a partir de la operación de diferencia de conjuntos: