Dado un conjunto , su complementario es el conjunto formado por los elementos que no pertenecen a :