Definition 6.5

5

: 0