Más general, se define el conjunto