el conjunto que no tiene elementos