Specifically the Y combinator enables recursion in a language that otherwise does not support recursion but does support closures.