Lambda Math Term Definition