The part of combinatory logic which is concerned with questions of a fundamental nature which, like substitution, involve variables, is called the theory of combinators.
Ang bahagi ng combinatory lohika na kung saan ay nag-aalala sa mga katanungan ng isang pangunahing katangian na kung saan, tulad ng pagpapalit, magdawit ng variable, ay tinatawag na ang mga teorya ng combinators.