[Numa15] Definition 1.6