9.2. Definitions