Update documentation chapter 2 (definitions)