El complemento de un conjunto cumple las siguientes propiedades