9. See the definition given in the Introduction.