Definitionerna behandlas i avsnitten 5.9 och 5.14 .