The representation system is defined by the set of atomic types and the set of constructors. Even though we gave a minimal set of atomic types and constructors ( elementary types from programming languages, and set, tuple and list constructors) available for describing the representation of objects, can be extended in many different ways.