User:Lgd

The first assumption is that in the case where the background is opaque (i.e. $$\alpha_b = 1$$), the over operator represents the convex combination of $$a$$ and $$b$$:

The second assumption is that the operator must respect the associative rule: