5.6.2 Definitions