5.7.2 Definitions