9.2 Definitions