Ένα υποσύνολο ενός τύπου δεδομένων, που λαμβάνεται με τον περιορισμό το σύνολο από τις πιθανές τιμές του τύπου δεδομένων. Σημείωση: οι εργασίες που ισχύουν για τον υπο-τύπο είναι οι ίδιες με εκείνες του αρχικού τύπου δεδομένων.