Una dichiarazione in un programma che specifica le caratteristiche di un nuovo tipo di dati, solitamente dalla combinazione di tipi di dati esistenti più primitivi.