A simple definition for types is

Type is a set of values and a set of functions that one can apply to these values.

We can define a particular type by:

• specifying all its values, e.g.: bool = {true, false}
• specifying functions which can be used with variables of that type.