Se define el complemento de formula_2, denotado por formula_58 (que se lee A complemento), al conjunto