Базовый тип

Базовый тип — это тип-родитель в иерархии типов. Производный тип наследует контракт базового типа и расширяет либо допустимые значения, либо контракт, либо и то и другое одновременно (подробнее).