Los definen un subconjunto de los valores de un tipo determinado, pero no son un tipo distinto de su tipo base.