What is a type definition?
"Defining" a type is the act of building a new type composed of one or more pre-existing data types. For example, the "Complex Number" type is often declared as an ordered pair of "Real Numbers" :

Type Complex
  Real a
  Real b
End


a and b being the real and imaginary parts.

This sample of pseudo-code is a "Type Definition".