Proving Transfer Functions Distributive

Why the distributive condition?
- monotonic, and hence converges
- best solution: meet over all paths

Theorem: if g and p are distributive then f is distributive.