Um subconjunto de um tipo de dados, obtido por restringir o conjunto de valores possíveis do tipo de dados. Nota: as operações aplicáveis para o subtipo são as mesmas que as do tipo de dados original.