๐Ÿ“ƒ Constructional definition

= definition of how statements about an object can be transformed into statements about the basic objects of the system (or previously constructed objects)

Uses

Types

Translations