Basic Definitions
Logarithmic theory