Definition 25: A + B, Labmda A

A + B, Labmda A