Производный тип

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