A su vez, el conjunto es el complementario de .