En la teoría de conjuntos y el álgebra de Boole, a menudo se indica como "Intercambio de Unión e intersección bajo la complementación", que puede ser expresado formalmente como: