Definitions

Additional definitions are: