- (i)
- ;
- (ii)
- .

We use now Proposition prop logic:distributivity. A generalization of the distributive law is as follows. Let be a set of indices and let be a set and be a family of sets. Then we have:

For two sets of indices and and two families of sets and , we have: