combinator

noun1

1. •
   A lambda expression which has no free variables in it.

   • M is a closed λ-term (or combinator) if FV(M) = ∅. The set of closed λ-terms is denoted by Λ⁰. — 1991