Отдельно компилируемых программный компонент, состоящий из типов связанных данных, объекты данных и подпрограмм.