In this paper : https://eprint.iacr.org/2011/501.pdf There is an equality page 10, in the second paragraph considered by the authors as "easy to check". If someone could explain to me why the set at the left side is included atin the set ofat the right side, I will be the happiest man on earth. All the definitions are given in the same page.