Тип

Тип — это множество допустимых значений и контракт.