lambdef