; Value space and behaviour: A type is a set of values which a variable can possess and a set of functions that one can apply to these values.
Тип данных ("тип") — множество значений и операций на этих значениях (IEEE Std 1320.2-1998)"a set of values and operations on those values"</ref>.