抽象啲嚟講，一個函數收兩個輸入值（一個嚟自  ，一個嚟自  ）而出個喺  嘅，呢個函數加利化咗之後，佢就會變第二個函數，而呢個函數會收一個嚟自  嘅輸入值而出一個由  射到  嘅函數。