Σε λίστες ιδιοτήτων πληροφοριών, είναι ένας τύπος που καθορίζει τα γενικά χαρακτηριστικά μιας οικογένειας εγγράφων. Κάθε αφαιρετικός τύπος έχει τις αντίστοιχους πραγματικούς τύπους. Δείτε επίσης πραγματικοί τύποι.