El conjunto de valores de un tipo derivado es