(y x):B和C的目的是S的有限版本。S接受一个值，并把在应用之前，把它代换入applicand和它的参数内，C只在applicand内进行代换，而B只在参数内进行代换。这些组合子的现代名字源于哈斯凯尔·加里在1930年的博士论文（参见B,C,K,W系统）。在Schönfinkel的最初着作中，把现在的S, K, I, B和C分别叫做S, C, I, Z和T。
CL与CL演算.在本文描述的CL和CL演算必须做出区分。这种区别对应于在λ和λ演算之间的区别。不同于λ演算，λ演