El conjunto complementario de es la diferencia (o complementario relativo) entre el conjunto universal y , por lo que ambas operaciones (complementario y diferencia) tienen propiedades similares.