-So for every element c1 of C:
- ((join MQ') -v- (MM q))[c1], by (2) is:
- join[MQ'(c1)] o MM(q*), which by (1), with f=q*: Q(c1)->MQ'(c1) is:
- M(q*) o join[Q(c1)], which by 3 is:
- ((M q) -v- (join Q))[c1]
+So for every element C1 of **C**:
+ ((join MQ') -v- (MM q))[C1], by (2) is:
+ join[MQ'(C1)] o MM(q*), which by (1), with f=q*: Q(C1)->MQ'(C1) is:
+ M(q*) o join[Q(C1)], which by 3 is:
+ ((M q) -v- (join Q))[C1]