Los aspectos que definen a un tipo son su conjunto de valores y su