Groupe λ-l (logique et langage), Le