paragraph_text: Sve su operacije lambda računa izražene u SKI kao binarna stabla čiji su listovi jedan od tri simbola S, K, i I (zvani kombinatori). Ustvari, simbol I je dodan samo zbog zgodnosti, i dovoljna su druga dva za sve svrhe SKI sustava.