Conjuntos universal y vacío.