Eine Programmeinheit ist entweder ein Paket, ein Task, eine geschützte Einheit, ein geschützter Entry, eine generische Einheit oder ein explizit deklariertes Unterprogramm. Bestimmte Arten von Programmeinheiten können getrennt übersetzt werden oder sie können geschachtelt innerhalb von anderen Programmeinheiten auftreten.
Der Programmtext kann dem Compiler in einer oder mehreren Übersetzungen übergeben werden. Jeder Übersetzung besteht aus einer Folge von Übersetzungseinheiten . Eine Übersetzungseinheit enthält entweder die Spezifikation, die Implementierung oder die Umbenennung einer Programmeinheit.
Eine Bibliothekseinheit ist eine getrennt übersetzte Programmeinheit auf ,,höchster Ebene`` und ist immer ein Paket, ein Unterprogramm oder eine generische Einheit. Eine Bibliothekseinheit kann andere (logisch gesehen geschachtelte) Bibliothekseinheiten als Kinder besitzen und andere Programmeinheiten physikalisch geschachtelt beinhalten. Die Wurzel-Bibliothekseinheit einer solchen baumartigen Struktur zusammen mit ihren Kindern und Kindeskindern und so weiter nennt man Subsystem.