S Combinator is Injective June 19, 2007 December 5, 2007 / Leave a Comment Do you know that the S combinator is injective? I have a simple algebraic proof and Nakano actually constructed its inverse.