> Observation: all quantuifiers correspond to some binary algebraic
> operation. Consider:
>
> 1. Sigma summation and integral are iterative forms of binary plus.
> 2. Pi-capital product is iterative form of multiplication.
> 3. Lattice supremum is iterative form binary meet.
> 5. Lattice infinum is iterative form binary join.
> 6. Existential and universal quatifiers are lattice supremum and
> infinum.
>
> Now, there must be a binary operation that lambda is iterative form as
> well?