Con formula_16 representamos el complementario de "A" respecto a un conjunto universal "A" tal que formula_17 para todo "k".