EAdded a supplementary explanation to the end of Remark 5.1.4 EAdded Remark 5.2.3, together with a reference to Remark 5.2.3 in Definition 5.2, (vi)